Commit Graph

1789 Commits

Author SHA1 Message Date
Dmitry Kalinkin
65c3273250 form: init at 4.2.0 (#40693) 2018-05-22 20:17:32 +02:00
Vincent Laporte
ae23bb2bcc
proverif: 1.97pl1 -> 2.00 2018-05-22 06:58:10 +00:00
R. RyanTM
b34f0a11dc pari: 2.9.4 -> 2.9.5
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/gp passed the binary check.
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/tex2mail passed the binary check.
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/gphelp passed the binary check.
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/gp-2.9 passed the binary check.
- 4 of 4 passed binary check by having a zero exit code.
- 0 of 4 passed binary check by having the new version present in output.
- found 2.9.5 with grep in /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5
- directory tree listing: https://gist.github.com/63c5da24ace1d863b434a462fc0d0123
- du listing: https://gist.github.com/d275cd2f3b274f52576dbab1bf9ebc9c
2018-05-21 08:53:00 +00:00
R. RyanTM
364f922cbf gtkwave: 3.3.89 -> 3.3.90
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.

These checks were done:

- built on NixOS
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/evcd2vcd passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/fst2vcd passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2fst passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/fstminer passed the binary check.
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/ghwdump had a zero exit code or showed the expected version
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/lxt2miner passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/lxt2vcd passed the binary check.
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/shmidcat had a zero exit code or showed the expected version
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2lxt passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2lxt2 passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2vzt passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vzt2vcd passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vztminer passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/gtkwave passed the binary check.
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/twinwave had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/rtlbrowse had a zero exit code or showed the expected version
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vermin passed the binary check.
- 13 of 17 passed binary check by having a zero exit code.
- 0 of 17 passed binary check by having the new version present in output.
- found 3.3.90 with grep in /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90
- directory tree listing: https://gist.github.com/cf30f5f6dd398a3083156aed84f02f36
- du listing: https://gist.github.com/6d77f0a1fdfe06cfe325c3873fdfd97c
2018-05-18 08:59:50 -05:00
Pascal Wittmann
97ab2d40cb
Merge pull request #40614 from symphorien/ries
ries: init at 2018-04-11
2018-05-17 21:30:47 +02:00
Symphorien Gibol
ea7404dcd7 ries: init at 2018-04-11 2018-05-17 14:09:33 +02:00
R. RyanTM
de49ba6c3f nauty: 26r7 -> 26r10
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/dreadnaut passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/copyg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/listg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/labelg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/dretog passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/amtog passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/geng passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/complg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/showg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/NRswitchg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/biplabg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/addedgeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/deledgeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/countg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/pickg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genrang passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/newedgeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/catg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genbg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/directg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/gentreeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genquarticg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/ranlabg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/multig passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/planarg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/gentourng passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/linegraphg passed the binary check.
- Warning: no invocation of /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/watercluster2 had a zero exit code or showed the expected version
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/dretodot passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/subdivideg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/vcolg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/delptg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/cubhamg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/twohamg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/hamheuristic passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/converseg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genspecialg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genbgL passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/shortg passed the binary check.
- Warning: no invocation of /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/configure had a zero exit code or showed the expected version
- 38 of 40 passed binary check by having a zero exit code.
- 0 of 40 passed binary check by having the new version present in output.
- directory tree listing: https://gist.github.com/3bca602211d416ba58097f4f8880b6d0
- du listing: https://gist.github.com/4ac19efe14e18aae8fece0ec1a500bf1
2018-05-17 03:57:50 -07:00
Matthew Bauer
e0d6edddd7 pspp: provide default icons & settings
psppire needs to be wrapped so that it will work outside of GNOME
desktop. We provide hicolor-icon-theme & gsettings-desktop-schemas.

Note that at runtime, I still get this error:

- Cannot create a converter for `IBM864' to `UTF-8': Invalid argument

Possibly a locale issue.

Fixes #40558
2018-05-15 15:42:13 -05:00
Arcadio Rubio García
699fa7e953 star: 2.5.3a -> 2.6.0c (#40518) 2018-05-15 15:09:06 +02:00
Arcadio Rubio García
e4a2b70f91 minimap2: init at 2.10 2018-05-14 21:26:07 +01:00
Timo Kaufmann
053d1e0339 giac: re-add lapack without atlas (#40 (#40458)
giac: re-add lapack without atlas
2018-05-14 12:47:45 +02:00
Gabriel Ebner
0db951db83 elan: 0.3.2 -> 0.5.0 2018-05-14 09:40:13 +02:00
Timo Kaufmann
5550015b20 giac: remove liblapackWithAtlas dependency (#40430) 2018-05-13 18:33:51 +02:00
Maximilian Bosch
be53a0f2ef sasview: fix build (#40433)
The package breaks currently breaks with the following message:

```
fixed-output derivation produced path '/nix/store/5dh1mdj027ad8sprk12fqa5h5bpdxs5n-sasview' with sha256 hash '12k1w4yq1mzjxcp2cqb562c7cbwzhi54rsbmgi0fax0i1660q167' instead of the expected hash '05la54wwzzlkhmj8vkr0bvzagyib6z6mgwqbddzjs5y1wd48vpcx'
```

To fix the build the following changes were applied:

* Switched to latest master for now as the older releases have a broken
  `py.test` configuration and altering hashes.

* Added `checkPhase` which invokes `py.test` directly and drops
  duplicated files from `dist/tmpbuild`.

* Rebased the patches `pyparsing-fix.patch` and `local_config.patch` for
  the latest master revision.

Additionally refer to the discussion in #40381 for further reference.
2018-05-13 17:25:18 +02:00
R. RyanTM
47c672b4b1 picard-tools: 2.18.3 -> 2.18.4
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.4 with grep in /nix/store/k62ym9i08d0w9sgmdjjfyy4lf2n9ig7p-picard-tools-2.18.4
- directory tree listing: https://gist.github.com/4d9e3062e701681d9b53033dc9511663
2018-05-12 13:58:09 +02:00
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