Commit graph

1774 commits

Author SHA1 Message Date
John Ericson ae429f8e55 yacas: 1.2.2 -> 1.6.1
They switched to cmake and talk about mingw cross, so I can kill
crossAttrs too.
2018-05-10 11:42:08 -04:00
Austin Seipp 04002e2b71 tamarin-prover: 1.3.1 -> 1.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-07 11:17:49 -05:00
Jörg Thalheim d1ad5bf95d
Merge pull request #40113 from wchresta/tamarin/fix
tamarin-prover: Fix compile issues
2018-05-07 13:49:50 +01:00
Wanja Chresta ee95ed11ca tamarin-prover: Fix compile issues 2018-05-07 12:18:06 +02:00
Gabriel Ebner 5347d89420
Merge pull request #40093 from r-ryantm/auto-update/lean
lean: 3.3.0 -> 3.4.1
2018-05-07 11:31:23 +02:00
R. RyanTM 639376aff6 lean: 3.3.0 -> 3.4.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code
- found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
- directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd
2018-05-07 02:24:49 -07:00
Matthew Justin Bauer 4f08e5902f
Merge pull request #39972 from ikervagyok/mathematica
mathematica: add mesa, fix `libGL.so.1 not found` messages
2018-05-05 00:07:23 -05:00
Matthew Justin Bauer a733bbfb07
Merge pull request #39740 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.2 -> 2.18.3
2018-05-04 17:21:50 -05:00
Lengyel Balazs 1f1e16af73 mathematica: add mesa, fix libGL.so.1 not found messages 2018-05-04 13:10:26 +02:00
Austin Seipp 301f14e993 symbiyosys: 2018.03.21 -> 2018.05.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-03 20:06:20 -05:00
Matthew Justin Bauer b45ef79b74
Merge pull request #39907 from matthewbauer/work
Miscellaneous cleanups
2018-05-03 13:33:42 -05:00
Matthew Bauer 143978a477 treewide: remove platform assertions
linux: readd assertion
2018-05-03 13:09:20 -05:00
R. RyanTM ef01f17c2d paml: 4.9g -> 4.9h
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- ran ‘/nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h/bin/chi2 -h’ got 0 exit code
- ran ‘/nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h/bin/chi2 --help’ got 0 exit code
- ran ‘/nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h/bin/chi2 help’ got 0 exit code
- found 4.9h with grep in /nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h
- directory tree listing: https://gist.github.com/b2a37e7cd2b4b41178f0698f3aac69e2
2018-05-03 15:13:15 +02:00
Matthew Justin Bauer 5e6f1abfd3
Merge pull request #39790 from matthewbauer/gnu-on-darwin
GNUs on Darwin
2018-05-01 13:56:54 -05:00
Matthew Justin Bauer 63666bf1d5
Merge pull request #37855 from Mounium/chem3
jmol init, pymol -> 2.1.0 and tidied up all-packages.nix
2018-05-01 11:01:21 -05:00
Matthew Justin Bauer ea458f3bd7
Merge pull request #39630 from bcdarwin/conglomerate
conglomerate: init at 2017-09-10
2018-05-01 10:31:44 -05:00
Matthew Justin Bauer 278f59af49
Merge pull request #39586 from MatrixAI/labelImg
labelImg: init at 1.6.0
2018-05-01 10:24:18 -05:00
Matthew Bauer 57a4db2449 pspp: supports darwin 2018-05-01 00:45:05 -05:00
Will Dietz 4b7b083bcb treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux
Include all linux platforms.
2018-04-30 18:12:10 -05:00
R. RyanTM 4ea3841d7f picard-tools: 2.18.2 -> 2.18.3
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.

These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 2.18.3 with grep in /nix/store/q67hqz7716nf3c4f8rjmlpf2dqbb06rz-picard-tools-2.18.3
- directory tree listing: https://gist.github.com/6b71ce718f18ef6a48c05457cd0e583b
2018-04-30 11:43:21 -07:00
Jörg Thalheim 68e75fbb53
Merge pull request #39577 from veprbl/pr/pythia_8.235
pythia: 8.226 -> 8.235, enable lhapdf6 plugin
2018-04-28 11:44:37 +01:00
Ben Darwin fa850e8fda conglomerate: init at 2017-09-10 2018-04-27 18:57:17 -04:00
Matthew Justin Bauer 914cc793e1
Merge pull request #39119 from veprbl/pr/sherpa_2.2.5
sherpa: 2.2.4 -> 2.2.5
2018-04-27 15:01:45 -05:00
Roger Qiu ff3b88713c labelImg: init at 1.6.0 2018-04-27 12:01:24 +10:00
Dmitry Kalinkin 2f47c93ec8
sacrifice: set LD_LIBRARY_PATH for pythia plugins to work 2018-04-26 18:19:14 -04:00
Jörg Thalheim 838db3b85d
Merge pull request #39529 from r-ryantm/auto-update/ott
ott: 0.27 -> 0.28
2018-04-26 09:14:36 +01:00
R. RyanTM 769093b867 ott: 0.27 -> 0.28
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott --help’ got 0 exit code
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott.opt --help’ got 0 exit code
- found 0.28 with grep in /nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28
- directory tree listing: https://gist.github.com/177f63b8c23bae6301ced29fb0e617c4
2018-04-26 00:52:29 -07:00
Michiel Derhaeg 189a4f3656 verifast: 14.5 -> 18.02 (#39480) 2018-04-25 22:54:57 +01:00
Jörg Thalheim 18da50d8d3
Merge pull request #39503 from veprbl/pr/sacrifice_darwin_fix
sacrifice: fix runtime on darwin
2018-04-25 22:22:19 +01:00
Katona László 329d1ba69a jmol: made it runnable 2018-04-25 22:42:07 +02:00
Katona László 75d8c81868 pymol: 1.8.4 -> 2.1.0 2018-04-25 22:15:51 +02:00
Dmitry Kalinkin c1f45f76ad
sacrifice: fix runtime on darwin 2018-04-25 14:58:23 -04:00
Lancelot SIX 8d58b1a0a0
Merge pull request #39360 from lsix/update_motu
motuclient: 1.4.00 -> 1.5.00
2018-04-25 11:46:19 +02:00
Michael Raskin 1f909a8dfc
Merge pull request #39403 from timokau/maxima-exl-testfailures-2
maxima-ecl: Disable more failing tests
2018-04-24 15:44:04 +00:00
Matthew Justin Bauer d57e6466e0
Merge pull request #39377 from timokau/pari-pthread
pari: Make pthread optional, remove unstable
2018-04-24 10:03:01 -05:00
Timo Kaufmann 396b5d9c65 maxima-ecl: Disable more failing tests 2018-04-24 13:38:44 +02:00
Timo Kaufmann 75b0866d0c pari: Make pthread optional, remove unstable 2018-04-24 12:54:59 +02:00
Michael Raskin bc6f7a9ccf
Merge pull request #39370 from timokau/singular-ntl
singular: Fix ntl dependency
2018-04-24 10:54:23 +00:00
Timo Kaufmann ba389086de singular: Fix ntl dependency 2018-04-24 12:04:28 +02:00
Timo Kaufmann b707c91814 maxima-ecl: Disable failing tests 2018-04-24 11:16:55 +02:00
Peter Simons 6799fcb42b R: 3.4.4 -> 3.5.0
Unfortunately, the new version fails its test suite AGAIN when the recommended
packages are not build. Makes one wonder whether maybe we should offer the R
developers CI builds that check this. I've reported the issue upstream, let's
see what happens.
2018-04-24 09:19:13 +02:00
Matthew Justin Bauer a02d6c99af
Merge pull request #34014 from mnacamura/mathematica-l10n
mathematica: enable installation of localized editions
2018-04-23 11:58:34 -05:00
Lancelot SIX 9b5793790e
motuclient: 1.4.00 -> 1.5.00 2018-04-23 10:50:45 +02:00
Jörg Thalheim c7d278ad07
Merge pull request #39351 from matthewbauer/calc-on-darwin
calc: cleanup expression
2018-04-23 08:07:13 +01:00
Matthew Bauer 63507ada7d calc: cleanup expression
Fixes #39321

(Still needs testing on Linux)
2018-04-22 19:01:25 -05:00
Joachim F 36d58a2cd2
Merge pull request #39332 from markuskowa/octopus-up
octopus: 7.2 -> 7.3
2018-04-22 17:47:26 +00:00
Markus Kowalewski 1d0267b2e7
octopus: 7.2 -> 7.3 2018-04-22 08:43:19 -07:00
Timo Kaufmann b93e1fbbfb jmol: init at 14.29.12 2018-04-21 20:41:21 -05:00
Timo Kaufmann be0b8f2cf6 palp: init at 2.1 2018-04-21 20:40:59 -05:00
Timo Kaufmann 7dc6b2e3c3 pynac: init at 0.7.19 2018-04-21 20:40:22 -05:00