Commit graph

1433 commits

Author SHA1 Message Date
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
c3255fe8ec.

See also:

- https://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
Dmitry Kalinkin ef2fc289a6
root: 6.10.04 -> 6.10.08 2017-10-20 00:59:21 -04:00
Nikolay Amiantov 94dc37d622 cntk: init at 2.2 2017-10-19 13:24:24 +03:00
Nikolay Amiantov 57f82de364 caffe: 1.0-rc5 -> 1.0
Fix build with cudatoolkit9.
2017-10-19 12:47:30 +03:00
Austin Seipp 26891c576c nixpkgs: gtkwave 3.3.70 -> 3.3.86
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-17 01:28:08 -05:00
John Ericson 6e1f864fd0 sc2-headless: License is unfree
I wrongly assumed that was the default when reviewing the PR.
2017-10-16 17:06:48 -04:00
Dan Haraj 188a413ebc sc2-headless: init at 3.17
This packages up the Starcraft II headless Linux client provided by
Blizzard for machine learning research.
2017-10-16 16:34:00 -04:00
Austin Seipp cd52a3d53c aiger: fix stupid incorrect download link
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 13:01:51 -05:00
Austin Seipp 635fbcbd33 nixpkgs: add aiger 1.9.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp b72f543f96 picosat: install more stuff
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp 740fb165da nixpkgs: add symbiyosys, for HDL verification flows
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00