JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
228,864 Commits 2 Branches 0 Tags 12 GiB
0a488516be
Commit Graph

3537 Commits

Author SHA1 Message Date
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
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
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
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