alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
123424 commits 217 branches 121 tags 4.5 GiB
Commit graph

1456 commits

Author SHA1 Message Date
John Wiegley f962f33593 Specify the coq version in a more consistent location 2017-12-21 01:24:35 -08:00
Justin Bedo a49c91f655
snpeff: 4.3p -> 4.3t 2017-12-21 10:52:26 +11:00
Vincent Laporte 4c454a3208
coq: minor cleaning 2017-12-18 15:30:36 +00:00
Orivej Desh c13c93f03b drat-trim: fix build on darwin 2017-12-17 13:19:34 +00:00
Orivej Desh fe9bf3ed23
Merge pull request #32648 from berce/upstream-kicad 
kicad: init unstable at version 2017-12-11
 2017-12-17 05:03:29 +00:00
Orivej Desh c780dba59c kicad: show version 2017-12-17 05:02:51 +00:00
Orivej Desh f314157041 kicad-unstable: set version 2017-12-17 04:49:00 +00:00
Orivej Desh d8f668c7b3
Merge pull request #32643 from kini/drat-trim 
drat-trim: init at 2017-08-31
 2017-12-17 00:31:25 +00:00
Keshav Kini 7b6b074829 drat-trim: init at 2017-08-31 
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work.  It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
 2017-12-17 00:27:52 +00:00
Bert Moens 5e0344dce9 kicad: add support for oce, ngspice and scripting 2017-12-17 00:20:45 +00:00
Bert Moens af5272f599 kicad: add unstable version 2017-12-17 00:10:28 +00:00
Vincent Laporte 12c5fe3e2d ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
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