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
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
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
adisbladis
2937e7367f
Merge pull request #45009 from jbaum98/ratpoints-darwin
...
ratpoints: 2.1.3 -> 2.1.3.p4; add darwin support
2018-08-15 15:28:39 +08:00
Jörg Thalheim
0ee6d7e3ab
Merge pull request #45011 from jbaum98/symmetrica-darwin
...
symmetrica: Add darwin support
2018-08-15 07:54:56 +02:00
Jake Waksbaum
47aa6abe96
ratpoints: 2.1.3 -> 2.1.3.p4; add darwin support
2018-08-14 11:27:59 -04:00
Jake Waksbaum
8ae47fa81a
symmetrica: Add darwin support
2018-08-14 11:23:21 -04:00
Jake Waksbaum
be81e1e29c
gfan: Add darwin support
2018-08-14 00:16:46 -04:00
Vladimír Čunát
5b0398dc36
Merge branch 'master' into staging-next
...
Conflicts: gobby and libinfinity - I took the hand-edited versions
instead of those resuting from the mass-replacement.
Hydra: ?compare=1473190
2018-08-13 20:43:59 +02:00
Sebastien Maret
b4599987e3
gildas: 20180701_a -> 20180801_a
2018-08-13 15:17:15 +02:00
Gabriel Ebner
7478da5e84
Merge pull request #42885 from smaret/gildas
...
gildas: 20180601_a -> 20180701_a
2018-08-13 10:55:18 +02:00
Samuel Dionne-Riel
c9035c6e12
Merge pull request #44681 from r-ryantm/auto-update/vcftools
...
vcftools: 0.1.15 -> 0.1.16
2018-08-12 19:26:38 -04:00
Vladimír Čunát
00df25ee57
Merge branch 'master' into staging-next
...
Hydra: ?compare=1472947
2018-08-12 10:33:41 +02:00
Sebastien Maret
e3b42396c6
gildas: update source url
2018-08-10 10:13:31 +02:00
Sebastien Maret
170426510e
gildas: patch perl interpreter path
2018-08-10 10:04:27 +02:00
Silvan Mosberger
68d3350433
Merge pull request #44837 from Infinisil/fix/sad
...
sad: fix build
2018-08-09 22:36:14 +02:00
Jake Waksbaum
3babbaaa47
palp: Add darwin support ( #44829 )
2018-08-09 22:28:27 +02:00
Silvan Mosberger
e710f80018
sad: fix build
2018-08-09 22:13:44 +02:00
Frederik Rietdijk
d9fa74ba78
Merge master into staging
2018-08-09 18:28:15 +02:00
Austin Seipp
752284680b
symbiyosys: 2018.05.03 -> 2018.07.26
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-08 19:49:42 -05:00
R. RyanTM
f5f55e4727
vcftools: 0.1.15 -> 0.1.16
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/vcftools/versions .
2018-08-08 00:48:04 -07:00
Timo Kaufmann
291018b34e
arb: 2.13.0 -> 2.14.0 ( #44600 )
2018-08-07 16:38:34 +02:00
symphorien
0ca40a51c7
gwyddion, ripser: fix derivation name ( #44577 )
2018-08-07 01:21:53 +02:00
Michael Raskin
75cb04672f
Merge pull request #44508 from timokau/cddlib-0.94j
...
cddlib: 0.94i -> 0.94j
2018-08-05 19:03:47 +00:00
Timo Kaufmann
0a44ff7676
cddlib: 0.94i -> 0.94j
...
cddlib was autotoolized, incorporated equivalents to the sage patches
and moved to GitHub.
2018-08-05 19:02:45 +02:00
Michael Raskin
6b0234942b
Merge pull request #44501 from timokau/sage-native-pari
...
sage: don't override pari
2018-08-05 15:14:00 +00:00