Commit graph

529 commits

Author SHA1 Message Date
John Wiegley 2b9e43b513 coq: 8.4pl4 -> 8.4pl5 2014-11-03 10:49:38 -06:00
Peter Simons 109f19d749 Merge pull request #4788 from joachifm/sage
sage fixes
2014-11-03 11:16:56 +01:00
Joachim Fasting 6f7822ddda sage: fix download url for version 6.1.1 2014-11-02 20:55:08 +01:00
Joachim Fasting 82ec13eaa3 sage: fix meta information
Correct homagepage, description, and license.
2014-11-02 20:55:02 +01:00
Peter Simons ead6bc4a57 R: run the test suite only when recommended packages are built 2014-11-01 21:08:05 +01:00
Peter Simons 12e26d47b7 R: update to version R-3.1.2 2014-11-01 13:43:48 +01:00
Lluís Batlle i Rossell f7f7a0d0f4 Updating qucs to 0.18
Patch by 'emery' on irc.
2014-10-29 10:29:53 +01:00
Jiri Marsik ceba23605c Added acgtk-1.1 2014-10-28 14:06:21 +01:00
Jaka Hudoklin 42da129d34 Merge pull request #4456 from robberer/pkgs/fritzing
fritzing: add version 0.9.0b
2014-10-12 22:58:45 +02:00
Vincent Laporte fe1d8d0015 cvc4: new derivation
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
2014-10-12 16:21:02 +02:00
Vincent Laporte 531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
Domen Kožar b4a7c1a6e2 xplanet: fix giflib update 2014-10-11 19:53:18 +02:00
Vincent Laporte 9d5be8a757 maxima: update from 5.33.0 to 5.34.1 2014-10-10 21:55:16 +01:00
Longrin Wischnewski 56a2f589b8 fritzing: add version 0.9.0b
- An open source prototyping tool for Arduino-based projects
2014-10-10 12:43:39 +02:00
John Wiegley e73aefcf93 coq_HEAD: Update 2014-10-09 14:52:35 -05:00
Peter Simons 8ee5bd585f haskell-sloane: update to version 1.9.3
This version supports the latest optparse-applicative.
2014-10-06 11:21:39 +02:00
Mateusz Kowalczyk 3d26ea99dc Merge pull request #4342 from vbgl/camlp5-6.12
Camlp5: update to 6.12; hol-light: update to r199
2014-10-03 18:36:06 +01:00
John Wiegley 10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Vincent Laporte c260abbff8 hol_light: update to r199
And adds compatibility with camlp5-6.12
2014-10-01 00:44:15 +01:00
John Wiegley 57b292fb1b isabelle: Another Linux hash change? 2014-09-30 16:44:15 -05:00
John Wiegley 5a7ce1185b isabelle: Remove Linux patches (is this correct?) 2014-09-30 16:41:47 -05:00
John Wiegley 8d9cd1557b isabelle: Correct the 2014 sha value for Linux 2014-09-30 16:15:34 -05:00
John Wiegley db690f28a3 isabelle: 2013 -> 2014, plus add darwin support 2014-09-30 12:57:30 -05:00
Mateusz Kowalczyk ce4ae2aa1e Merge pull request #4305 from vbgl/coq-containers
Working with Coq
2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk 9440f55ef8 gtkwave: update from 3.3.61 to 3.3.62
cc @viric
2014-09-30 11:04:26 +01:00
Vincent Laporte f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte fde68228d9 coq: setup-hook for libraries
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
2014-09-28 14:03:14 +01:00
Michael Raskin 9ae10b2cac Update golly 2014-09-24 14:07:00 +04:00
Michael Raskin 50e55fd793 Update PARI 2014-09-24 13:32:46 +04:00
John Wiegley 4eedbfd786 coq_HEAD: update to latest Git HEAD 2014-09-23 13:19:51 -05:00
William A. Kennington III 31220480d8 boost: Update depdendent packages 2014-09-21 17:20:59 -07:00
Peter Simons ee4a606cdf Merge pull request #4165 from ftrvxmtrx/pcalc
added pcalc package
2014-09-19 14:42:07 +02:00
Siarhei Zirukin 00298c7bba added pcalc package 2014-09-19 13:31:52 +02:00
Peter Simons 2a54f52b22 coq_HEAD: Revert "update to latest Git version"
This reverts commit bf009f87a9. The update
breaks the build.
2014-09-19 12:29:07 +02:00
Aristid Breitkreuz 6fc7efa7b3 add mathematica 10 (slightly borked but runs) 2014-09-17 23:25:35 +02:00
Marco Maggesi 6110679bee Update hol_light to r198. Add myself as a maintainer 2014-09-16 16:55:56 +02:00
John Wiegley 10afb382b7 ott: 0.25 new expression 2014-09-15 21:50:07 +01:00
Peter Simons b9f7f19820 R: Revert update to version 3.1.1
This reverts commit 6e803a684f. The new version
fails its test suite [1]. The issue has been reported upstream [2].

[1] http://hydra.cryp.to/build/191457/nixlog/1/raw
[2] https://bugs.r-project.org/bugzilla/show_bug.cgi?id=15975
2014-09-13 20:03:44 +02:00
Pascal Wittmann 8d67b9a240 transformed meta.maintainers of some packages into lists 2014-09-13 13:52:02 +02:00
Peter Simons 6e803a684f R: update to version 3.1.1 2014-09-12 15:20:06 +02:00
John Wiegley bf009f87a9 coq_HEAD: update to latest Git version
In particular, to get the fix for #3585 in the Coq bug tracker
2014-09-09 18:02:32 +01:00
Moritz Ulrich 0fe866c3a1 gtkwave: update from 3.3.53 to 3.3.61 2014-09-04 19:31:33 +02:00
Michael Raskin bacd3e852d Update pari 2014-09-02 14:25:17 +04:00
Pascal Wittmann 038c71a11a boinc: update from 7.2.42 to 7.4.14 (fixes CVE-2013-2298) 2014-09-01 22:51:04 +02:00
Michael Raskin 979f0e1d67 Update TPTP 2014-08-31 19:25:32 +04:00
John Wiegley 686fa594ab coq_HEAD: update to latest Git HEAD 2014-08-26 16:36:50 -05:00
Bjørn Forsman c9baba9212 Fix many package descriptions
(My OCD kicked in today...)

Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.

I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.

I've tried to stay away from generated expressions (and I think I
succeeded).

Some specifics worth mentioning:
 * cron, has "Vixie Cron" in its description. The "Vixie" part is not
   mentioned anywhere else. I kept it in a parenthesis at the end of the
   description.

 * ctags description started with "Exuberant Ctags ...", and the
   "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
   at the end of description.

 * nix has the description "The Nix Deployment System". Since that
   doesn't really say much what it is/does (especially after removing
   the package name!), I changed that to "Powerful package manager that
   makes package management reliable and reproducible" (borrowed from
   nixos.org).

 * Tons of "GNU Foo, Foo is a [the important bits]" descriptions
   is changed to just [the important bits]. If the package name doesn't
   contain GNU I don't think it's needed to say it in the description
   either.
2014-08-24 22:31:37 +02:00
Eelco Dolstra ce6b86cc68 Fix various evaluation problems
http://hydra.nixos.org/build/13616685
2014-08-22 11:57:40 +02:00
John Wiegley 708e16e675 ssreflect: 1.4 -> 1.5 2014-08-19 16:03:33 -05:00
John Wiegley cfc70c60ab coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590 2014-08-16 00:13:15 -05:00