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

3547 commits

Author SHA1 Message Date
Vladimír Čunát a5f5d020c6
Merge branch 'staging-next' 2020-06-10 16:13:48 +02:00
Ryan Mulligan d456800b17
Merge pull request #90045 from r-ryantm/auto-update/marvin 
marvin: 20.12.0 -> 20.13.0
 2020-06-10 06:01:10 -07:00
markuskowa 86d193c305
Merge pull request #90013 from r-ryantm/auto-update/jmol 
jmol: 14.30.2 -> 14.31.0
 2020-06-10 14:41:33 +02:00
R. RyanTM 0f890be404 marvin: 20.12.0 -> 20.13.0 2020-06-10 12:01:26 +00:00
R. RyanTM c04e2c41ca jmol: 14.30.2 -> 14.31.0 2020-06-10 03:50:47 +00:00
Jan Tojnar c637cbe992
Merge branch 'master' into staging-next 2020-06-10 04:10:34 +02:00
Symphorien Gibol 0a488516be boolector: 3.0.0 -> 3.2.1 
enable tests
optionnally enable gmp
 2020-06-08 17:32:07 -05:00
Symphorien Gibol 90b75531a5 btor2tools: pre55 -> 1.0.0-pre 
version comes from the VERSION file in the repo
 2020-06-08 17:32:07 -05:00
Frederik Rietdijk dc33419285 Merge master into staging-next 2020-06-08 12:06:12 +02:00
1000101 277bbb8efe formatting: fix missing leading whitespace 2020-06-08 09:37:17 +02:00
Ryan Mulligan 38b720e653
Merge pull request #89667 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.22.8 -> 2.22.9
 2020-06-07 15:38:23 -07:00
Frederik Rietdijk 155382cae3
Merge pull request #89515 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 3.5.5 -> 4.0.8
 2020-06-07 15:57:35 +02:00
Frederik Rietdijk 6b8223e634 Merge master into staging-next 2020-06-07 09:25:12 +02:00
Markus Kowalewski 5dbe275aac
molden: 6.2 -> 6.3 2020-06-06 23:41:01 +02:00
R. RyanTM 170ea57065 picard-tools: 2.22.8 -> 2.22.9 2020-06-06 15:43:25 +00:00
R. RyanTM 25300419fd lean: 3.14.0 -> 3.15.0 2020-06-06 10:55:48 +00:00
Ben Wolsieffer 5d3c56822a qgroundcontrol: 3.5.5 -> 4.0.8 2020-06-04 19:06:45 -04:00
Frederik Rietdijk 08900c0554 Merge master into staging-next 2020-06-04 15:25:54 +02:00
Lassulus a15262665a
Merge pull request #88466 from puzzlewolf/gazebo_remove 
gazebo: remove
 2020-06-04 12:47:42 +02:00
Daiderd Jordan 7b3a2963d1
treewide: replace base64 encoded hashes 2020-06-03 18:35:19 +02:00
zimbatm 9f15e95ff2
Merge pull request #89308 from LnL7/remove-sri-hashes 
Remove sri hashes
 2020-06-02 16:24:01 +02:00
Timo Kaufmann 374016fb1c
Merge pull request #89111 from timokau/gap-cleanup 
gap: cleanup
 2020-06-02 10:55:46 +02:00
Daiderd Jordan b7ddbd52bd
treewide: replace SRI hashes 2020-06-01 15:24:19 +02:00
puzzlewolf 3b26ba8b91 maintainers: remove pxc 2020-05-30 18:38:37 +02:00
puzzlewolf c906c45fec gazebo, sdformat: remove 2020-05-30 18:38:28 +02:00
Jonathan Ringer 3a4fec8232 mxnet: use blas.provider, fix build 2020-05-28 15:08:47 -07:00
Timo Kaufmann 6579f814cf gap: remove explicit configreFlags 
System gmp is now the default.
 2020-05-28 16:07:38 +02:00
Timo Kaufmann d689f3fe72 gap: add readline support 
Technically optional but strongly recommended from upstream. Replaces
their own implementation for input parsing.
 2020-05-28 16:06:34 +02:00
Timo Kaufmann f15c816584 gap: use https for the homepage 2020-05-28 15:58:41 +02:00
Timo Kaufmann 9e245a0878 gap: fix comment typo 2020-05-28 15:57:50 +02:00
Timo Kaufmann e2e45e163c gap: remove m4 dependency 
No longer necessary, since the build system was significantly overhauled
/ replaced by Max Horn.
 2020-05-28 15:55:07 +02:00
Timo Kaufmann c269b51c38 gap: move to new source URL 
GAP downloads moved to a new subdomain. The old one still redirects, but
the new one is the "source of truth" so we should switch to that.
 2020-05-28 15:53:56 +02:00
Timo Kaufmann a4c76b970c gap: use the check target for install checks 
As suggested by Max Horn.

This exists since gap 4.10 and will only run the install checks once
while also exiting with an appropriate exit code. This new check has
uncovered some test failures, which are harmless and actually disabled
in a future gap release. The error-detection code for the previous test
target was probably broken.
 2020-05-28 15:50:46 +02:00
Timo Kaufmann d34fa6ed44
Merge pull request #89058 from timokau/palp-2.11-hash-fixup-2 
palp: fix hash
 2020-05-27 22:34:12 +00:00
Timo Kaufmann b74991703a palp: fix hash 
The file was modified for the second time now. I'll try to contact
upstream about this. Maybe 2.11 is not actually a finished product yet.
 2020-05-28 00:20:30 +02:00
R. RyanTM 8295aa6d8b cryptominisat: 5.7.0 -> 5.7.1 2020-05-27 13:51:14 -07:00
R. RyanTM f4e01832ed marvin: 20.10.0 -> 20.12.0 2020-05-27 12:11:37 -07:00
R. RyanTM 5841bc46f8 proverif: 2.00 -> 2.01 2020-05-27 12:07:52 -07:00
Jörg Thalheim 660854a266
Merge pull request #88916 from zowoq/patches 2020-05-27 06:54:01 +01:00
Benjamin Hipple f04a5af0cc
Merge pull request #82180 from bcdarwin/bppcore 
bppsuite: init at 2.4.1
 2020-05-26 21:07:25 -04:00
Lassulus ed25a12070
Merge pull request #70487 from esclear/xflr5 
xflr5: init at 6.47
 2020-05-27 00:00:05 +02:00
zowoq cb4cc7a480 sad: use patch file extension 2020-05-26 14:50:50 +10:00
Benjamin Hipple d3082a31cd
Merge pull request #87544 from bcdarwin/vtk-8 
vtk: 7.1.1 -> 8.2.0
 2020-05-26 00:24:28 -04:00
Ben Darwin 45cd7beeb2 bppsuite: init at 2.4.1 2020-05-25 21:13:02 -04:00
Ryan Mulligan 85898181b0
Merge pull request #88844 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.22.7 -> 2.22.8
 2020-05-25 06:09:11 -07:00
Mario Rodas bc4469005e
Merge pull request #88824 from r-ryantm/auto-update/lean 
lean: 3.13.1 -> 3.14.0
 2020-05-24 22:49:35 -05:00
R. RyanTM a60a040236 picard-tools: 2.22.7 -> 2.22.8 2020-05-25 01:25:17 +00:00
R. RyanTM 7573e99a60 lean: 3.13.1 -> 3.14.0 2020-05-24 22:22:11 +00:00
R. RyanTM c1b7c7e87c
snakemake: 5.16.0 -> 5.17.0 (#88766) 2020-05-24 13:32:14 -04:00
Dmitry Kalinkin 9eb3f39bca
Merge pull request #88713 from veprbl/pr/sherpa_2_2_10 
sherpa: 2.2.9 -> 2.2.10
 2020-05-23 21:56:57 -04:00