cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
151123 commits 1 branch 0 tags 3.7 GiB
Commit graph

2034 commits

Author SHA1 Message Date
Markus Kowalewski
5cf25dded7
symmetrica: update homepage 2018-09-02 01:46:25 +02:00
Markus Kowalewski
c184150a22
jags: update homepage + fix license 2018-09-02 01:46:18 +02:00
Markus Kowalewski
e5974ddaec
jonprl: update homepage 2018-09-02 00:36:01 +02:00
Gabriel Ebner
da3326902a vampire: fix nondeterministic hash 
Probably related to #8567
 2018-09-01 15:03:31 +02:00
R. RyanTM
7fdaf76869 verilator: 3.924 -> 3.926 (#45797) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
verilator
 2018-09-01 12:14:00 +02:00
John Ericson
2c2f1e37d4 reewide: Purge all uses stdenv.system and top-level system 
It is deprecated and will be removed after 18.09.
 2018-08-30 17:20:32 -04:00
R. RyanTM
e301589013 gmsh: 3.0.6 -> 4.0.0 (#45592) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions.
 2018-08-27 16:06:28 +02:00
Timo Kaufmann
0e4160a3a1 pythonPackages.sympy: 1.1.1 -> 1.2 2018-08-26 19:56:44 +02:00
wucke13
b7e695461e apmplanner2: fixed wrong path in .desktop file 
The `apmplanner2.desktop` file defaults to `/usr/share/...` regardless which out
prefix is given to make. So I chose to fix it manually.
 2018-08-25 00:39:58 +02:00
Vladimír Čunát
7db611f2af
Merge branch 'staging' 
Includes libX11 security update.
 2018-08-24 09:19:43 +02:00
Bignaux Ronan
70d5f16898 astrolabe-generator: init at 3.3 (#45429) 2018-08-23 22:35:05 +02:00
Joachim F
0d80f9659c
Merge pull request #45305 from wucke13/apmplanner2 
apmplanner2: init at 2.0.26
 2018-08-23 14:07:45 +00:00
Matthew Bauer
f7bc33abf0 Revert "treewide: fixup breakage due to absolute compiler path" 
This reverts commit d0888d1503.
 2018-08-22 01:14:53 +02:00
xeji
6216f5da04
Merge pull request #45263 from r-ryantm/auto-update/bowtie2 
bowtie2: 2.3.4.1 -> 2.3.4.2
 2018-08-21 19:51:36 +02:00
Uli Baum
c47aafde87 bowtie2: broken on aarch64 
never built as far back as hydra logs go.
 2018-08-21 19:11:37 +02:00
Vladimír Čunát
765d695b89
Merge branch 'staging-next' 
Security fixes for a few packages are included.
 2018-08-21 15:36:02 +02:00
Vladimír Čunát
d0888d1503
treewide: fixup breakage due to absolute compiler path 
Some packages just can't handle them #44767.  It was tempting to try
to abstract this in some way, but I didn't do that ATM.
 2018-08-21 12:34:33 +02:00
xeji
54ff14b6f3
Merge pull request #45399 from markuskowa/license-8 
Add licenses
 2018-08-21 12:05:10 +02:00
Jörg Thalheim
736db8db10
Merge pull request #44951 from rittelle/eagle 
eagle: 7.7 -> 9.1.2
 2018-08-21 10:51:13 +01:00
wucke13
b4531605c3 apmplanner2: init at 2.0.26 
I would like to see more Ground Control Stations in the nixpkgs.
 2018-08-21 02:02:51 +02:00
Markus Kowalewski
a1129ef9cb
glsurf: add license 2018-08-20 21:15:16 +02:00
Markus Kowalewski
3c1819fcce
ginac: add license 2018-08-20 21:02:45 +02:00
Joachim F
6755ab8b34
Merge pull request #44250 from jbedo/strelka 
strelka: init 2.9.5
 2018-08-20 06:24:15 +00:00
Justin Bedo
27960b6acf
strelka: init 2.9.5 2018-08-20 08:58:22 +10:00
rittelle
9e4d2d723a
eagle: 7.7 -> 9.1.2 
Updated eagle to version to 9.1.2 while keeping version 7.7 as eagle7.
 2018-08-19 15:36:08 +02:00
Jörg Thalheim
4609e3abf2
Merge pull request #45303 from markuskowa/molden-up 
molden: 5.7 -> 5.8.2
 2018-08-19 13:32:28 +01:00
Markus Kowalewski
04d283ecda
molden: patch to deactivate extension installer script 2018-08-19 11:29:31 +02:00
Orivej Desh
65663f883c msgpack: rename from libmsgpack 
The project does not use the name "libmsgpack". It variously uses "msgpack" and
"msgpack-c", and "msgpackc" for the name of the library.
 2018-08-18 23:19:54 +00:00
Markus Kowalewski
79bf57ca23
molden: 5.7 -> 5.8.2 2018-08-18 14:24:39 +02:00
Vladimír Čunát
209730208a
Merge branch 'staging-next' 2018-08-17 20:51:31 +02:00
Jörg Thalheim
5cb9703a8f
Merge pull request #45173 from r-ryantm/auto-update/octopus 
octopus: 8.1 -> 8.2
 2018-08-17 16:10:43 +01:00
R. RyanTM
73f1448a1f bowtie2: 2.3.4.1 -> 2.3.4.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/bowtie2/versions.
 2018-08-17 06:50:10 -07:00
Vladimír Čunát
cbabebcc2e
Merge branch 'master' into staging-next 
Hydra: ?compare=1473892
 2018-08-17 13:45:21 +02:00
Jörg Thalheim
3dd311bde9
Merge pull request #45220 from r-ryantm/auto-update/gtkwave 
gtkwave: 3.3.92 -> 3.3.93
 2018-08-17 11:58:27 +01:00
Jörg Thalheim
0359c5eb65
Merge pull request #45217 from r-ryantm/auto-update/igv 
igv: 2.4.13 -> 2.4.14
 2018-08-17 11:56:26 +01:00
Peter Simons
a721bc4bf3
Merge pull request #45134 from r-ryantm/auto-update/stellarium 
stellarium: 0.18.1 -> 0.18.2
 2018-08-17 11:55:31 +02:00
R. RyanTM
190bd05de2 gtkwave: 3.3.92 -> 3.3.93 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions.
 2018-08-17 02:05:58 -07:00
R. RyanTM
33ebfbfcf8 igv: 2.4.13 -> 2.4.14 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions.
 2018-08-17 01:23:03 -07:00
R. RyanTM
ae846c0c03 octopus: 8.1 -> 8.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/octopus/versions.
 2018-08-16 20:04:53 -07:00
Jörg Thalheim
4e9b4a9ca7
Merge pull request #45158 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.18.10 -> 2.18.11
 2018-08-17 00:36:56 +02:00
R. RyanTM
ff7d82d405 picard-tools: 2.18.10 -> 2.18.11 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions.
 2018-08-16 14:33:38 -07:00
R. RyanTM
c274490146 stellarium: 0.18.1 -> 0.18.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/stellarium/versions.
 2018-08-16 12:03:22 -07:00
zimbatm
b7e50d52f0
caffe: add darwin support (#44616) 2018-08-16 12:46:51 +01:00
Gabriel Ebner
f207998d79 qalculate-gtk: 2.6.1 -> 2.6.2 2018-08-16 11:56:27 +02:00
Austin Seipp
d5e496a2bb boolector: 2.4.1 -> 3.0.0, relicensed to MIT 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Austin Seipp
9b64100add btor2tools: init at pre55_8c150b39 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Austin Seipp
68cc845295 lingeling: init at pre1_03b4860d 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Austin Seipp
6e910b2b3d aiger: clean up configurePhase, install multi-output objects/headers 
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Michael Mercier
b8566965df Update simgrid 3.19.1 -> 3.20 + parallel tests + enable darwin (#42721) 
* simgrid: 3.19.1 -> 3.20

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/simgrid/versions.

These checks were done:

- built on NixOS
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpicc passed the binary check.
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpicxx passed the binary check.
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpirun passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/tesh had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid-colorizer passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid_update_xml had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/simgrid_convert_TI_traces passed the binary check.
- Warning: no invocation of /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/smpimain had a zero exit code or showed the expected version
- /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20/bin/graphicator passed the binary check.
- 6 of 9 passed binary check by having a zero exit code.
- 4 of 9 passed binary check by having the new version present in output.
- found 3.20 with grep in /nix/store/cvyi6hvgc9rvgrnp7c028xrlzbl7jzb9-simgrid-3.20
- directory tree listing: https://gist.github.com/edefc2f1a2e81412484edc2e45986e03
- du listing: https://gist.github.com/a44f7d57537e93152a8e6c569f8ed1ae

* simgrid: 3.19.1 -> 3.20 + add darwin

- Fix dependencies to enable build on darwin
- Add ctest flag to enable parallel testing

* Use simpler parallel testing logic

because it is already done in nixpkgs/pkgs/stdenv/generic/setup.sh
 2018-08-15 19:54:41 -05:00
Bernard Fortz
22c15abe20 cplex: init at 12.8 (#44029) 
* cplex: init at 12.8

* Removed bundled java from bin directory

* Refactored

* More refactoring

* Added config option for releasePath

* Minor cleanup
 2018-08-15 19:46:09 -05:00