8c928cd55a
why3: 0.87.1 -> 0.87.3
2017-01-21 13:31:10 +00:00
6c9f4a61be
lean: 2017-01-14 -> 3.0.0
2017-01-20 10:59:54 +01:00
5ad75554b6
lean: 2017-01-06 -> 2017-01-14
2017-01-14 09:37:48 +01:00
89dfe67f81
Merge pull request #21819 from AtnNn/isabelle
...
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
3d301e384e
isabelle: 2016 -> 2016-1
2017-01-11 17:33:04 -05:00
39ed261c4c
Merge pull request #21632 from veprbl/sherpa_fix
...
sherpa: fix sqlite dependency
2017-01-09 09:58:22 +00:00
0f71012fe6
sherpa: add useful dependencies
2017-01-07 01:36:51 -05:00
07bf828bd9
Merge branch 'staging'; security /cc #21642
2017-01-06 16:32:47 +01:00
74a97421ce
lean: 2016-12-30 -> 2017-01-06
2017-01-06 11:57:40 +01:00
2f23d60323
sherpa: fix sqlite dependency
2017-01-04 04:59:06 +00:00
27660cfdc0
Merge branch 'master' into staging
2017-01-04 01:42:26 +01:00
af2cfc076f
haskellPackages.z3: fix #16357
2017-01-03 23:10:24 +01:00
7c5784d1f0
maxima: 5.38.1 -> 5.39.0
2017-01-02 21:53:21 +01:00
5a67b130b9
Merge branch 'master' into staging
2017-01-02 00:54:17 +01:00
c7bcb99ff2
root: 6.04.18 -> 6.08.02
...
This relies on
e9d60c56
2017-01-01 17:52:03 -05:00
039e90c9d3
fityk: 1.3.0 -> 1.3.1
2017-01-01 18:19:39 +01:00
68b2d43c88
lean: 2016-12-08 -> 2016-12-30
2016-12-31 13:51:10 +01:00
8fb6895614
sherpa: init at 2.2.1
2016-12-30 14:27:55 -05:00
e65cccb776
Merge pull request #21221 from rardiol/gplates
...
gplates: init at 2.0.0
2016-12-28 10:21:23 +00:00
29cb10c021
igv: 2.3.77 -> 2.3.89
2016-12-23 19:37:10 -05:00
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
59ca5d213f
freebayes: init at 1.1.0
...
Signed-off-by: zimbatm <zimbatm@zimbatm.com>
2016-12-22 14:10:37 +00:00
1b8aec421b
stellarium: 0.14.3 -> 0.15.0
...
close #21271
2016-12-21 20:22:44 -05:00
662aa495df
gplates: init at 2.0.0
2016-12-16 22:29:53 -02:00
838a3b4294
coq_8_6: 8.6rc1 -> 8.6
2016-12-14 13:46:07 -08:00
62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13
2016-12-13 08:09:23 -08:00
360234dab6
coq_8_6: new package, based on Coq 8.6rc1
2016-12-13 07:27:15 -08:00
c5b96ca801
minisat: Fix build on Darwin
2016-12-09 19:57:07 +01:00
a2210a9efd
lean: init at 2016-12-08
2016-12-08 10:30:28 -05:00
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
3a98749bd1
pari: 2.9.0 -> 2.9.1
2016-12-08 16:15:18 +01:00
431c564993
hol_light: fix build with Camlp5-6.17
2016-11-29 18:34:21 +00:00
f390d68b75
yarp: 2.3.66.1 -> 2.3.68
2016-11-28 17:03:19 +01:00
fcc5a4d3b8
Merge pull request #20672 from AndersonTorres/pari
...
pari/gp: 2.7.6 -> 2.9.0
2016-11-26 13:34:15 +00:00
a31c37c759
[mathematica] 10.0.2 -> 11.0.1
2016-11-25 12:13:41 +01:00
d395439a10
pari/gp: 2.7.6 -> 2.9.0
...
Adding gp2c compiler, too.
2016-11-24 22:44:56 -02:00
4c19651108
Merge #20264 : root: fix environment setup
2016-11-14 22:27:09 +01:00
a6d6a3972f
plink-ng: init at 1.90b3
2016-11-14 20:28:39 +11:00
2ded9f3f7b
coq: Improve emacs buffer handling
2016-11-13 14:01:01 -05:00
0bdc0143fe
nixpkgs: proverif 1.94 -> 1.95
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-10 03:45:51 +00:00
3b5d5041ef
Merge pull request #20267 from jbedo/master
...
Fix bcftools installation prefix
2016-11-09 21:57:46 +01:00
8c4aee4c79
z3: 4.4.1 -> 4.5.0
2016-11-08 16:14:16 -05:00
ec31e2cc27
Fix bcftools installation prefix
2016-11-09 08:03:04 +11:00
6d11e8ed4c
Remove pal2nal
...
No longer build/exists
2016-11-03 21:58:47 -04:00
c36a1d6502
paml: 4.2a -> 4.9c
2016-11-03 21:33:19 -04:00
b028b5f4ef
coq-8.5: ease the selection of an older (patch level) version
2016-11-02 19:39:22 +01:00
b840da02cd
coq: build and install the votour utility
2016-11-02 19:23:15 +01:00
da68cc24f0
coq: 8.5pl2 -> 8.5pl3
2016-11-02 19:23:15 +01:00
7f241baaaf
Merge pull request #19902 from dtzWill/update/yices
...
yices: 2.3.1 -> 2.5.1
2016-10-31 09:35:21 +01:00
0443affe17
yices: Add darwin to meta.platforms
2016-10-30 13:38:07 -05:00
9434ec5441
root: fix environment setup
...
1) s/envHook/postHook/
2) patch to not set $p that fixes nested ```nix-shell -p root``` calls
2016-10-29 14:47:32 -04:00
9c8f6fb4fb
pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable".
2016-10-27 14:48:03 +02:00
f9f23084d9
pari_alpha: fix source link
2016-10-27 12:17:16 +02:00
3cf27a654a
yices: Build in parallel, run tests, fix test shebang.
2016-10-26 13:01:21 -05:00
8584ec97ed
yices: fix install target by using 'true' as ldconfig
2016-10-26 12:59:34 -05:00
1f89121551
yices: 2.3.1 -> 2.5.1
2016-10-26 12:59:06 -05:00
7077a270bf
Merge remote-tracking branch 'upstream/master' into HEAD
2016-10-26 13:06:43 +02:00
28aa92de64
maxima: support building with ECL; optionally support building maxima.fas when building with ECL
2016-10-26 11:06:41 +02:00
36804c75e4
singular: Wrap executables instead of symlinking
...
This way config scripts can fidn out their own location
2016-10-26 11:06:40 +02:00
2bed05d8e1
singular: add an option to install as libsingular
2016-10-26 11:06:40 +02:00
8e9ad9bfdc
pari_alpha: use perl to generate function descriptions
2016-10-26 11:06:40 +02:00
5af1b7ad02
singular: 3-1-2 -> 3-1-7
2016-10-26 11:06:39 +02:00
93bea1ecb0
R: 3.2.3 -> 3.2.4
2016-10-26 11:06:37 +02:00
5f418b75d6
nauty: init at 26r7
2016-10-26 11:06:36 +02:00
a67a50895c
gfan: init at 0.5
2016-10-26 11:06:36 +02:00
71f659d86d
pari_alpha: init at 2.8.0.alpha: planning to use for Sage
2016-10-26 11:06:34 +02:00
411d5742ca
symmetrica: init at 2.0
2016-10-26 11:06:33 +02:00
c450d7b0a8
ratpoints: init at 2.1.3
2016-10-26 11:06:33 +02:00
e56832d730
Merge remote-tracking branch 'upstream/master' into HEAD
2016-10-22 17:23:24 +02:00
4328629bf8
treewide: fix meta evaluation
...
There is no `stdenv.maintainers`. /cc @veprbl.
2016-10-22 12:05:23 +02:00
9c0b5e4b22
Merge pull request #19666 from veprbl/hep_for_upstream
...
Add fastjet, hepmc, yoda, rivet, lhapdf, herwig, pythia, sacrifice, nlojet++
2016-10-21 21:58:45 +02:00
ef96b48659
root: s/python/python2/
2016-10-21 15:47:38 -04:00
59a8aff8e6
root: add veprbl to maintainers
2016-10-21 13:30:30 -04:00
b4e3e7b752
add veprbl to maintainers
2016-10-21 13:29:57 -04:00
d6880b210c
yarp: 2.3.65 -> 2.3.66.1
2016-10-20 19:34:03 +02:00
3324d8dc72
sacrifice: init at 1.0.0
2016-10-19 02:17:16 -04:00
8963dae343
z3: use python2
2016-10-18 23:16:07 +02:00
eca0f17ad2
nix-buffer support improvements.
...
Use inherit-local, add per-package elisp hooks.
2016-10-07 10:31:37 -04:00
3e646865f4
treewide: use ocaml.version ( #19192 )
2016-10-05 09:32:30 +02:00
fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
...
Since commit 183d05a0fixes #18000
2016-10-01 16:13:41 +02:00
57e1250d89
redprl: remove explicit builder
...
patchPhase wasn't being called for me so I've switched out the explicit
builder for the generic form. I can now build RedPRL on locally on
NixOS.
2016-09-29 10:52:29 +10:00
a523351314
redprl: patch install script shebangs
2016-09-27 18:24:06 -04:00
19d3b1aa5f
Merge pull request #19004 from nico202/fix-gazebo-cmake
...
gazebo7: Fix gazebo-config.cmake output file
2016-09-27 16:32:32 +02:00
efb56cec43
gazebo7: Fix gazebo-config.cmake output file
2016-09-27 10:30:27 +02:00
2bc87d48f1
scilab: mark as broken
2016-09-26 02:36:49 +03:00
06ecea00e5
glsurf: mark as broken
2016-09-26 02:36:49 +03:00
e61663a233
treewide: move to ocaml-ng system
2016-09-26 02:36:49 +03:00
a3c26fec32
redprl: init at 2016-09-22
2016-09-23 20:37:20 -04:00
c78c2b98c4
ecm: set meta.platforms to linux only
2016-09-21 19:14:11 +02:00
dd4a015aa8
eprover: 1.9 -> 1.9.1
2016-09-20 11:57:14 -04:00
e22dd2f6c5
Merge pull request #18740 from chris-martin/tulip-4-9
...
Tulip: 4.1.0 -> 4.9.0
2016-09-20 14:34:17 +02:00
a729d6ee55
calc: remove redundant groff dependency
2016-09-19 01:37:45 +03:00
08e5949235
tulip: 4.1.0 -> 4.9.0
2016-09-18 15:24:29 -04:00
7b9deaba81
root: add setup-hook
2016-09-18 04:45:18 -04:00
4748709926
Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs
2016-09-13 12:51:34 +03:00
fb9117efa6
Merge pull request #18488 from chris-martin/md5-2
...
Miscellaneous packages: Use sha256 instead of md5 (part 2)
2016-09-13 07:11:43 +02:00
bccd75094f
treewide: explicitly specify gtk and related package versions
2016-09-12 18:26:06 +03:00
5646c2aba6
root: add support for x86_64-darwin
...
1) add pcre dependency (for some reason builtin_pcre doesn't work)
2) Disable dependencies that are currently not supported by the
expression. Most users should not need those. These are disabled to
prevent cmake from picking them up from system and causing impurities.
Once there is a user who needs these they will have to update the
expression.
3) disable some OSX detection code that relies on /usr/bin/sw_vers
that chooses c++ library, silences warnings and sets macosx-version-min.
macosx-version-min is already set by nix using MACOSX_DEPLOYMENT_TARGET
environment variable.
2016-09-11 17:29:13 -04:00
e417a63e61
scilab: md5->sha256
2016-09-10 13:50:10 -04:00
f285ce8fed
twelf: fix emacs mode
2016-09-08 23:12:32 -04:00
Vincent Laporte
Gabriel Ebner
Pascal Wittmann
Etienne Laurin
Michael Raskin
Dmitry Kalinkin
Vladimír Čunát
Daiderd Jordan
Domen Kožar
Pascal Wittmann
mimadrid
John Wiegley
Jason Daniel Augustine Gilliland
ft@zeus
Ricardo Ardissone
Eelco Dolstra
Nicolò Balzarotti
Ole Krüger
AndersonTorres
Justin Bedo
Shea Levy
Austin Seipp
Frederik Rietdijk
Tim Steinbach
vbgl
Will Dietz
Ertugrul Söylemez
Frederik Rietdijk
Jörg Thalheim
Kirill Boltaev
Aneesh Agrawal
Brian McKenna
Anthony Cowley
Joachim F
Ram Kromberg
Chris Martin
Nikolay Amiantov
Franz Pletz
Dan Peebles