Bug#707585: why: FTBFS in unstable

Package: why Version: 2.30+dfsg-5 Severity: serious why fails to build in unstable as follows: coqc -R lib/coq Why lib/coq/WhyInt.v coqc -R lib/coq Why lib/coq/WhyArrays.v coqc -R lib/coq Why lib/coq/WhyBool.v coqc -R lib/coq Why ...

Message posted on the May 9th, 2013 - 11:00 AM ET

PBS KIDS Takes 3 to 6-Year-Olds on an Alphabet Adventure with New SUPER WHY! App for iPhone, iPad and iPod touch

PBS KIDS has released its newest educational app, SUPER WHY! ABC Adventures: Alphabet for iPhone, iPad and iPod touch. Designed for kids ages 3 to 6, the new app, now available in the App Store, is the fourth ...

Press published on the August 16th, 2012 - 7:00 AM ET

New SUPER WHY Alpha Boost! App Pumps up Literacy Learning on iPhone and iPod touch

Adding to its lineup of successful children’s educational apps, PBS KIDS today announced the release of the new SUPER WHY Alpha Boost! App for iPhone and iPod touch. The new app, available now on the App ...

Press published on the November 10th, 2011 - 8:00 AM ET

Research and Markets: Why European Telcos Are Turning to the Cloud for an eHealth Strategy - Europe Telecom Insider

Research and Markets (http://www.researchandmarkets.com/research/dn5zcr/why_european) has announced the addition of the "Why European Telcos Are Turning to the Cloud for an eHealth Strategy - Europe Telecom Insider / ...

Press published on the January 22nd, 2013 - 4:24 AM ET

Why Outsource, Why Now? ADP Launches New Executive Brief

Why Outsource ? Why Now ? In today’s uncertain business climate, executives and organizations need to be financially stronger, more adaptable, and more efficient to respond to shifting market ...

Press published on the May 15th, 2013 - 3:26 AM ET

Axway to Host Webinar: “FTP – 40 Years of Moving Files – Why it’s Time to Move On”

Axway (Paris:AXW), the Business Interaction Networks company, announced today they will host a webinar "FTP – 40 Years of Moving Files – Why it’s Time to Move On," on Tuesday, November 1, 2011 and Tuesday, ...

Press published on the November 1st, 2011 - 4:00 AM ET

Axway to Host Webinar: “FTP – 40 Years of Moving Files – Why it’s Time to Move On”

Axway (Paris:AXW), the Business Interaction Networks company, announced today they will host a webinar "FTP – 40 Years of Moving Files – Why it’s Time to Move On," on Tuesday, November 1, 2011 and Tuesday, ...

Press published on the October 27th, 2011 - 11:55 AM ET

Apple A5 / Siri: why such a large processor?

Why isn’t Apple’s Siri voice recognition system designed for the iPhone 4S not available on the iPhone 4? Why is the Apple A5 processor so much bigger than the Apple A4? The first answers are starting to come through...

News published on the February 8th, 2012 - 12:03 PM ET

Why Did Chris Ahlstrom buy a Toshiba Satellite R945-P440 Loaded With Windows Instead of A Linux loaded laptop?

Why Did Chris Ahlstrom buy a Toshiba Satellite R945-P440 Loaded With Windows Instead of A Linux loaded laptop? So? Why aren't you practicing what you preach? Why are you paying the Microsoft tax? Why aren't you supporting companies trying to ...

Message posted on the August 20th, 2012 - 6:12 PM ET

Why Are Linux Advocates Such Slimeballs?

Really Why do they reply 3rd party? Why do they change the subject of posts? Why do they crosspost? Why do they LIE for LIEnux? Why can't they think on their own? And so forth

Message posted on the July 21st, 2012 - 11:30 PM ET

Why is linux based software such a mess and chaos ??

http://sethioz.com/forum/viewtopic.php?f7&t86 Notice the nastiness that this frustrated Linux user displays. It's a known fact that using Linux makes you frustrated and pissed off. This is a perfect example of that. *Quote On* This is not ...

Message posted on the February 5th, 2012 - 11:37 AM ET

Why Desktop Linux is a Joke....

http://blog.chris-alex-thomas.com/2012/04/30/desktop-linux-is-a-joke/ I thought I would give my two pennies on a slashdot thread about why desktop linux never arrived, you can read about it here ...

Message posted on the May 4th, 2013 - 7:56 PM ET

How Apple Killed the Linux Desktop and Why That Doesn¹t Matter

<http://www.wired.com/wiredenterprise/2012/08/osx-killed-linux/> It¹s hard to say exactly what percentage of desktop and laptop computers run Apple OS X, but it¹s clear that the operating system has made slow but steady gains at ...

Message posted on the August 29th, 2012 - 10:39 AM ET

Why Linux Still Sucks... From A Linux Zealot.

Notice how this particular person talks about the same items sucking under Linux that others talk about. Coincidence? I think not. Yet, all this stuff "magically just works" for the Linux zealots in comp.os.linux.advocacy. Face it ...

Message posted on the February 1st, 2013 - 8:44 PM ET