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 |
|
Vladimír Čunát
|
4c19651108
|
Merge #20264: root: fix environment setup
|
2016-11-14 22:27:09 +01:00 |
|
Justin Bedo
|
a6d6a3972f
|
plink-ng: init at 1.90b3
|
2016-11-14 20:28:39 +11:00 |
|
Shea Levy
|
2ded9f3f7b
|
coq: Improve emacs buffer handling
|
2016-11-13 14:01:01 -05:00 |
|
Austin Seipp
|
0bdc0143fe
|
nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2016-11-10 03:45:51 +00:00 |
|
Frederik Rietdijk
|
3b5d5041ef
|
Merge pull request #20267 from jbedo/master
Fix bcftools installation prefix
|
2016-11-09 21:57:46 +01:00 |
|
Gabriel Ebner
|
8c4aee4c79
|
z3: 4.4.1 -> 4.5.0
|
2016-11-08 16:14:16 -05:00 |
|
Justin Bedo
|
ec31e2cc27
|
Fix bcftools installation prefix
|
2016-11-09 08:03:04 +11:00 |
|
Tim Steinbach
|
6d11e8ed4c
|
Remove pal2nal
No longer build/exists
|
2016-11-03 21:58:47 -04:00 |
|
Tim Steinbach
|
c36a1d6502
|
paml: 4.2a -> 4.9c
|
2016-11-03 21:33:19 -04:00 |
|