John Wiegley
40627000f7
coq_8_7: 8.7.0 -> 8.7.1
2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a
z3_4_5_0: New expression, to access the release version's API
2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
...
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
...
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27
2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging
2017-12-09 21:00:07 +01:00
markuskowa
66da9b9f8f
gpredict: init at 1.3 ( #32436 )
2017-12-09 09:45:29 +00:00
Vladimír Čunát
6f5d989478
treewide: checkMeta fixes for x86_64-linux
2017-12-07 07:50:47 -05:00
Orivej Desh
9f8ec7e4d3
stp: disable parallel building
2017-12-07 08:52:42 +00:00
Orivej Desh
812e0bced1
shogun: fix parallel building
2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746
nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove
2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242
glucose-syrup: Remove unused fetchurl argument
2017-12-01 21:13:21 -08:00
Jörg Thalheim
ae096444a2
simgrid: 3.15 -> 3.17 ( #32114 )
...
* simgrid: 3.15 -> 3.17 + clean + add options
* Add myself as maintainer
* Fix typo
2017-12-01 22:14:24 +00:00
Orivej Desh
1f99fd6965
libminc: fix build after hdf5 upgrade by using hdf5_1_8
2017-12-01 00:37:29 +00:00
Peter Simons
b0f82f0f2d
R: update to 3.4.3
2017-11-30 18:45:48 +01:00
MERCIER Michael
42ec4556bd
Fix typo
2017-11-28 13:13:01 +01:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4
2017-11-27 17:00:15 +00:00
MERCIER Michael
8fa00adf1a
Add myself as maintainer
2017-11-27 17:58:49 +01:00
MERCIER Michael
0cace1fbd2
simgrid: 3.15 -> 3.17 + clean + add options
2017-11-27 17:50:25 +01:00
Orivej Desh
4f73b3162b
treewide: preset windres missing to fix builds on Linux
...
https://github.com/NixOS/nixpkgs/pull/30484#issuecomment-345899910
2017-11-21 04:27:10 +00:00
Maximilian Bosch
38af8ec720
stellarium: 0.15.0 -> 0.16.1
...
The 0.16-releases contain several useful new features:
https://launchpad.net/stellarium/0.16/0.16.1
I also added myself as maintainer to have more people available if the
package breaks a release.
2017-11-19 12:01:15 +01:00
rybern
ef0486b1f9
vcftools: init at 0.1.15 ( #31339 )
2017-11-16 09:52:56 +02:00
Orivej Desh
089e0aaf72
pulseview: fix build
2017-11-16 00:40:16 +00:00
Joerg Thalheim
67092ffd43
spyder: 2.3.8 -> 3.2.4
2017-11-15 15:49:05 +00:00
Moritz Kiefer
c0f08557b9
why3: 0.87.3 -> 0.88.1
2017-11-15 10:15:12 +01:00
Dan Haraj
bdce7d3a04
sc2-headless: add pysc2 minigame map pack
2017-11-14 14:37:53 -05:00
Peter Simons
d70a021b95
maxima: 5.40.0 -> 5.41.0
2017-11-14 13:23:48 +01:00
Joerg Thalheim
21423521e6
wxmaxima: 15.04.0 -> 17.10.1
...
also fix crash at start-up due missing icons
fixes #18479
2017-11-14 11:28:00 +00:00
Renaud
2d8d35e342
Merge pull request #31564 from Mounium/aliza
...
aliza: 1.29.2->1.36.3
2017-11-12 22:07:01 +01:00
Katona László
c2d9871823
aliza: 1.29.2->1.36.3
2017-11-12 17:46:37 +01:00
Michael Raskin
eaaaebe00a
golly: 2.8 -> 3.1
2017-11-11 15:31:37 +01:00
Michael Raskin
563b08c7c4
pari: 2.9.1 -> 2.9.3
2017-11-11 15:31:36 +01:00
Michael Raskin
20b6b3cf0e
clingo: init at 5.2.2
...
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
2017-11-10 14:04:32 +01:00
Austin Seipp
063e4dca79
z3: update to latest git
...
This has some nice improvements, like new string and real arithmetic solvers.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-09 13:20:01 -06:00
Michael Raskin
27f7999280
glucose, glucose-syrup: 4.0 -> 4.1
2017-11-08 09:55:29 +01:00
Michael Raskin
6475fa9b25
Merge pull request #31298 from timokau/sage-fix
...
sage: 6.8 -> 8.0
2017-11-06 01:25:28 +00:00
Michael Raskin
85eac6ff73
Restrict platforms to what is known to work.
2017-11-06 01:25:04 +00:00
Timo Kaufmann
fe68ba81d2
sage: 6.8 -> 8.0
...
This "un-breaks" sage while also updating it to 8.0.
It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.
To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
2017-11-05 17:37:40 -06:00
Austin Seipp
5fc4f17862
yices: 2.5.3 -> 2.5.4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
e27e0ebe48
cvc4: unstable-2017-05-18 -> 1.5
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
9cb5201d33
yosys/symbiyosys: 2017.10.16 -> 2017.11.05
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Ben Gamari
7eecac6f46
ngspice: Build shared library
...
This builds the libngspice shared library which is used by development
versions of kicad.
2017-11-02 19:26:06 -04:00
Piotr Bogdan
8904ce343a
fix source root locations.
...
These have changed following commit
c3255fe8echttps://github.com/NixOS/nixpkgs/pull/31004
- https://github.com/NixOS/nixpkgs/pull/31106
2017-11-02 13:53:36 +00:00
Daiderd Jordan
b93df24078
pari: enable darwin build
2017-10-30 18:24:22 +01:00
Edward Tjörnhammar
9acbfbc7b7
shogun: init at 6.0.0
2017-10-29 10:20:55 +01:00
Edward Tjörnhammar
77d3869f27
colpack: init at 1.0.10
2017-10-29 10:20:54 +01:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
Tuomas Tynkkynen
a4833730c4
cntk: Disable parallel building
...
https://hydra.nixos.org/build/62781346
2017-10-22 18:19:03 +03:00
Ryan Bernstein
941014ffff
bowtie2: init at 2.3.3.1
2017-10-22 00:11:49 +02:00
