Commit graph

3533 commits

Author SHA1 Message Date
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 25300419fd lean: 3.14.0 -> 3.15.0 2020-06-06 10:55:48 +00: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
Dmitry Kalinkin e6282f9f6c
sherpa: 2.2.9 -> 2.2.10 2020-05-23 16:22:08 -04:00
Ryan Mulligan 5505be7840
Merge pull request #88568 from r-ryantm/auto-update/last
last: 1060 -> 1061
2020-05-23 11:42:47 -07:00
Frederik Rietdijk bc3c3b4a59 pythonPackages.kicad: bindings to kicad
Add the Python bindings for kicad.

Following now functions

    $ nix run "(import ./. {}).python3.withPackages(ps: with ps; [ kicad  ])" -c python3 -c "import pcbnew"

Have not tested this any further.
2020-05-23 15:44:14 +02:00
Mario Rodas d30b7592c4
Merge pull request #88363 from r-ryantm/auto-update/clp
clp: 1.17.5 -> 1.17.6
2020-05-23 00:31:57 -05:00
R. RyanTM 25841d95c5 last: 1060 -> 1061 2020-05-22 02:21:55 +00:00
zimbatm 28357868f8
Merge pull request #88482 from r-ryantm/auto-update/fahcontrol
fahcontrol: 7.6.9 -> 7.6.13
2020-05-21 12:12:37 +02:00
zimbatm 1f6fcc7025
Merge pull request #88493 from r-ryantm/auto-update/fahviewer
fahviewer: 7.6.9 -> 7.6.13
2020-05-21 12:12:01 +02:00
R. RyanTM f52889cd38 fahviewer: 7.6.9 -> 7.6.13 2020-05-21 08:53:14 +00:00
Evils d798396684 kicad-unstable: 2020-05-06 -> 2020-05-14 2020-05-21 10:49:18 +02:00
Evils a791245d51 kicad: 5.1.5 -> 5.1.6 2020-05-21 10:49:18 +02:00
R. RyanTM 0cc843b538 fahcontrol: 7.6.9 -> 7.6.13 2020-05-21 06:24:27 +00:00
Vincent Laporte 48f0d8b3c8 coq_8_11: 8.11.1 → 8.11.2 2020-05-20 19:21:42 +02:00
Timo Kaufmann b811d52b9c
Merge pull request #88428 from timokau/nauty-27r1
nauty: 26r12 -> 27r1
2020-05-20 13:22:15 +00:00
Timo Kaufmann d0e171395a nauty: 26r12 -> 27r1
Changes: http://pallini.di.uniroma1.it/changes24-27.txt
2020-05-20 14:59:46 +02:00