Commit graph

1116 commits

Author SHA1 Message Date
Celine Mercier
78c052e91a
ecopcr: init at 0.8.0 2017-02-06 16:01:08 +01:00
Ian Lancaster
5f67b7b30a emboss: 6.0.1 -> 6.6.0 2017-02-04 19:05:48 -05:00
Joachim F
2b961075ae Merge pull request #22231 from Ma27/hotfix/update-geogebra
geogebra: 5.0.271.0 -> 5-0-320-0
2017-02-03 01:13:07 +01:00
Gabriel Ebner
311ec6abd5 Merge pull request #22361 from peterhoeg/u/crunch
speedcrunch: 0.11 -> 0.12.0
2017-02-02 07:54:06 +01:00
Rongcui Dong
7ea20c9e27 ngspice: 25 -> 26 2017-02-02 07:42:26 +01:00
Peter Hoeg
58a5d0783e speedcrunch: 0.11 -> 0.12.0
Also:
  - build against qt5 instead of qt4
2017-02-02 09:13:54 +08:00
Gabriel Ebner
ac10c19746 veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00
Damien Cassou
58dc8e3024
Remove myself from maintainers 2017-01-31 11:00:14 +01:00
Maximilian Bosch
eda5bca00a geogebra: 5.0.271.0 -> 5-0-320-0 2017-01-28 17:33:20 +01:00
Vincent Laporte
d40b680101 coq-8.4: fix build of ssreflect and mathcomp 2017-01-25 13:14:31 +00:00
Vincent Laporte
798a87159b Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00
Vincent Laporte
9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte
a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
Vincent Laporte
86b74fb76b alt-ergo: 0.99.1 -> 1.30 2017-01-21 13:44:41 +00:00
Vincent Laporte
8c928cd55a why3: 0.87.1 -> 0.87.3 2017-01-21 13:31:10 +00:00
Gabriel Ebner
6c9f4a61be lean: 2017-01-14 -> 3.0.0 2017-01-20 10:59:54 +01:00
Gabriel Ebner
5ad75554b6 lean: 2017-01-06 -> 2017-01-14 2017-01-14 09:37:48 +01:00
Pascal Wittmann
89dfe67f81 Merge pull request #21819 from AtnNn/isabelle
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
Etienne Laurin
3d301e384e isabelle: 2016 -> 2016-1 2017-01-11 17:33:04 -05:00
Michael Raskin
39ed261c4c Merge pull request #21632 from veprbl/sherpa_fix
sherpa: fix sqlite dependency
2017-01-09 09:58:22 +00:00
Dmitry Kalinkin
0f71012fe6
sherpa: add useful dependencies 2017-01-07 01:36:51 -05:00
Vladimír Čunát
07bf828bd9
Merge branch 'staging'; security /cc #21642 2017-01-06 16:32:47 +01:00
Gabriel Ebner
74a97421ce lean: 2016-12-30 -> 2017-01-06 2017-01-06 11:57:40 +01:00
Dmitry Kalinkin
2f23d60323 sherpa: fix sqlite dependency 2017-01-04 04:59:06 +00:00
Daiderd Jordan
27660cfdc0
Merge branch 'master' into staging 2017-01-04 01:42:26 +01:00
Domen Kožar
af2cfc076f haskellPackages.z3: fix #16357 2017-01-03 23:10:24 +01:00
Michael Raskin
7c5784d1f0 maxima: 5.38.1 -> 5.39.0 2017-01-02 21:53:21 +01:00
Daiderd Jordan
5a67b130b9
Merge branch 'master' into staging 2017-01-02 00:54:17 +01:00
Dmitry Kalinkin
c7bcb99ff2
root: 6.04.18 -> 6.08.02
This relies on
e9d60c56 ('libc++3.7: fix to use with modern compilers')
2017-01-01 17:52:03 -05:00
Pascal Wittmann
039e90c9d3
fityk: 1.3.0 -> 1.3.1 2017-01-01 18:19:39 +01:00
Gabriel Ebner
68b2d43c88 lean: 2016-12-08 -> 2016-12-30 2016-12-31 13:51:10 +01:00
Dmitry Kalinkin
8fb6895614
sherpa: init at 2.2.1 2016-12-30 14:27:55 -05:00
Michael Raskin
e65cccb776 Merge pull request #21221 from rardiol/gplates
gplates: init at 2.0.0
2016-12-28 10:21:23 +00:00
mimadrid
29cb10c021
igv: 2.3.77 -> 2.3.89 2016-12-23 19:37:10 -05:00
John Wiegley
4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
Addresses #14829
2016-12-22 10:35:56 -08:00
Jason Daniel Augustine Gilliland
59ca5d213f freebayes: init at 1.1.0
Signed-off-by: zimbatm <zimbatm@zimbatm.com>
2016-12-22 14:10:37 +00:00
ft@zeus
1b8aec421b
stellarium: 0.14.3 -> 0.15.0
close #21271
2016-12-21 20:22:44 -05:00
Ricardo Ardissone
662aa495df gplates: init at 2.0.0 2016-12-16 22:29:53 -02:00
John Wiegley
838a3b4294
coq_8_6: 8.6rc1 -> 8.6 2016-12-14 13:46:07 -08:00
John Wiegley
62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13 2016-12-13 08:09:23 -08:00
John Wiegley
360234dab6
coq_8_6: new package, based on Coq 8.6rc1 2016-12-13 07:27:15 -08:00
Eelco Dolstra
c5b96ca801 minisat: Fix build on Darwin 2016-12-09 19:57:07 +01:00
Gabriel Ebner
a2210a9efd lean: init at 2016-12-08 2016-12-08 10:30:28 -05:00
Gabriel Ebner
ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29
Renamed from lean since upstream renamed it as well.  The lean attribute
in nixpkgs will now refer to the new lean 3 version.
2016-12-08 10:30:28 -05:00
Michael Raskin
3a98749bd1 pari: 2.9.0 -> 2.9.1 2016-12-08 16:15:18 +01:00
Vincent Laporte
431c564993 hol_light: fix build with Camlp5-6.17 2016-11-29 18:34:21 +00:00
Nicolò Balzarotti
f390d68b75 yarp: 2.3.66.1 -> 2.3.68 2016-11-28 17:03:19 +01:00
Michael Raskin
fcc5a4d3b8 Merge pull request #20672 from AndersonTorres/pari
pari/gp: 2.7.6 -> 2.9.0
2016-11-26 13:34:15 +00:00
Ole Krüger
a31c37c759 [mathematica] 10.0.2 -> 11.0.1 2016-11-25 12:13:41 +01:00
AndersonTorres
d395439a10 pari/gp: 2.7.6 -> 2.9.0
Adding gp2c compiler, too.
2016-11-24 22:44:56 -02:00