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
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
Timo Kaufmann
a276c4485c
nauty: add meta.changelog
2020-05-20 14:59:46 +02:00
Ryan Mulligan
aae8733f96
Merge pull request #88210 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.22.4 -> 2.22.7
2020-05-20 05:08:01 -07:00
R. RyanTM
d1b7e3f8cc
clp: 1.17.5 -> 1.17.6
2020-05-20 10:04:01 +00:00
R. RyanTM
3450729658
picard-tools: 2.22.4 -> 2.22.7
2020-05-19 21:56:38 +00:00
Timo Kaufmann
7447395f9d
Merge pull request #88177 from timokau/palp-2.11-hash-fixup
...
palp: fix hash
2020-05-19 18:43:59 +00:00