Commit graph

3845 commits

Author SHA1 Message Date
Daniël de Kok
0f9afb2716
Merge pull request #92253 from danieldk/finalfrontier
finalfrontier: init at 0.9.3
2020-07-26 08:34:49 +02:00
Peter Simons
b4dd96b206 sad: mark package as broken because if depends on dropped ghc-8.4.4
Ping @schmitthenner.
2020-07-24 13:06:29 +02:00
Maximilian Bosch
a83e2e3662
Merge pull request #93742 from Xitian9/geogebra
geogebra: 5-0-574-0 -> 5-0-593-0
2020-07-24 11:34:38 +02:00
Evils
b6863cbfe7 kicad: fix build
disable scripting support as 92261 broke wxPython_4_0
  and i haven't managed to get wxPython 4.1 to work

something caused makeWrapper to have to be added on its own
  not sure where it came from before...

and some cleanup
2020-07-24 03:26:00 -04:00
Evils
e842233678 kicad-unstable: 2020-05-14 -> 2020-07-21 2020-07-24 03:26:00 -04:00
Stephen Morgan
d9e6338fec geogebra: 5-0-574-0 -> 5-0-593-0 2020-07-24 15:11:42 +10:00
Daniël de Kok
4dd9423b05 finalfrontier: init at 0.9.3 2020-07-23 10:05:33 +02:00
Robert Scott
fd5c0b94b2
Merge pull request #76960 from risicle/ris-hal-hardware-analyzer
hal-hardware-analyzer: init at 2.0.0
2020-07-21 22:08:05 +01:00
Daniël de Kok
622150e873
Merge pull request #93429 from danieldk/sortmerna-4.2.0
sortmerna: 3.0.3 -> 4.2.0
2020-07-21 09:34:01 +02:00
Robert Scott
d2d921b763 hal-hardware-analyzer: init at 2.0.0 2020-07-20 22:35:00 +01:00
Daniël de Kok
5bb161af08
Merge pull request #93351 from alyssais/gfan
gfan: fix clang build on non-Darwin
2020-07-19 10:23:13 +02:00
Daniël de Kok
dee4befc78
Merge pull request #93406 from lsix/add-gnu-gama
gama: init at 2.09
2020-07-19 08:49:37 +02:00
Lancelot SIX
9eccd6417a
gama: init at 2.09 2020-07-18 18:58:22 +01:00
Gabriel Ebner
3ffc16a834
Merge pull request #93375 from MrChico/cvc4_1.8
cvc4: 1.6 -> 1.8
2020-07-18 18:48:12 +02:00
Daniël de Kok
56c841393a sortmerna: 3.0.3 -> 4.2.0
- Fixes build against rocksdb 6.10.2
- Use dynamic rocksdb and zlib libraries
- Build a dynamic binary
2020-07-18 18:06:23 +02:00
Martin Lundfall
424936ed33 cvc4: 1.6 -> 1.8
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2020-07-18 17:48:10 +02:00
Vladyslav M
2076487221
rink: 0.4.5 -> 0.5.0 2020-07-18 13:30:05 +03:00
Keshav Kini
b28d329c62 drat-trim: 2017-08-31 -> 2020-06-05 2020-07-17 21:38:31 -07:00
Alyssa Ross
8f5eaa6deb
gfan: fix clang build on non-Darwin
-fno-guess-branch-probability isn't a Darwin-specific thing, it's a
clang-specific thing.
2020-07-17 15:30:24 +00:00
Ryan Mulligan
891e3cb973
Merge pull request #92575 from r-ryantm/auto-update/seaview
seaview: 5.0.2 -> 5.0.4
2020-07-15 21:23:13 -07:00
markuskowa
7204d9aa36
Merge pull request #93042 from r-ryantm/auto-update/gromacs
gromacs: 2020.2 -> 2020.3
2020-07-13 13:52:28 +02:00
R. RyanTM
215011c44d gromacs: 2020.2 -> 2020.3 2020-07-13 07:11:49 +00:00
Daniël de Kok
a36e044be2
Merge pull request #92957 from lopsided98/qgroundcontrol-update
qgroundcontrol: 4.0.8 -> 4.0.9
2020-07-12 07:37:29 +02:00
Ben Wolsieffer
060c1ef6a5 qgroundcontrol: 4.0.8 -> 4.0.9 2020-07-11 15:27:23 -04:00
Florian Klink
785b558e66
Merge pull request #92781 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.104 -> 3.3.105
2020-07-11 13:57:57 +02:00
Timo Kaufmann
9aab32b51c
Merge pull request #92796 from r-ryantm/auto-update/jmol
jmol: 14.31.0 -> 14.31.2
2020-07-09 18:43:50 +02:00
Austin Seipp
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 10:33:09 -05:00
R. RyanTM
46e8ec7927 jmol: 14.31.0 -> 14.31.2 2020-07-09 14:44:34 +00:00
Austin Seipp
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
R. RyanTM
6e3fd6892c gtkwave: 3.3.104 -> 3.3.105 2020-07-09 10:06:28 +00:00
Jörg Thalheim
141f9ce807
cryptominisat: 5.7.1 -> 5.8.0 (#92681)
Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
2020-07-09 08:24:55 +01:00
Jörg Thalheim
223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim
e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
Daniël de Kok
26d250d4b3
Merge pull request #92738 from r-ryantm/auto-update/yacas
yacas: 1.8.0 -> 1.9.1
2020-07-09 09:02:26 +02:00
R. RyanTM
d27df249ee yacas: 1.8.0 -> 1.9.1 2020-07-08 18:25:49 +00:00
R. RyanTM
3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM
02fe1ec6ec gwyddion: 2.55 -> 2.56 2020-07-07 10:11:50 -07:00
R. RyanTM
e6113be804 seaview: 5.0.2 -> 5.0.4 2020-07-07 13:30:35 +00:00
Benjamin Hipple
0f94e2413d
Merge pull request #91071 from bcdarwin/minc-tools-build-nifti-tools
minc-tools: actually build Nifti support
2020-07-06 17:45:48 -04:00
Ben Darwin
28becad9be minc-tools: actually build Nifti support 2020-07-06 11:09:33 -04:00
Justin Bedo
3139597277
whisper: init at 2.0.1 2020-07-06 18:59:45 +10:00
Benjamin Hipple
4f4e0477b7
Merge pull request #90320 from wucke13/apmplanner-2
apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1
2020-07-05 20:23:52 -04:00
Benjamin Hipple
b82bdcd3c3
Merge pull request #90311 from wucke13/betaflight-configurator
betaflight-configurator: 10.6.0 -> 10.7.0
2020-07-05 19:52:10 -04:00
Ryan Mulligan
9dcf134813
Merge pull request #92317 from r-ryantm/auto-update/last
last: 1061 -> 1066
2020-07-05 16:09:42 -07:00
R. RyanTM
c0ebe721a9 marvin: 20.13.0 -> 20.15.0 2020-07-05 15:06:16 +00:00
R. RyanTM
12b36a950b ltl2ba: 1.2 -> 1.3 2020-07-05 14:25:04 +00:00
R. RyanTM
aca998de5e last: 1061 -> 1066 2020-07-05 08:43:25 +00:00
Justin Bedo
a3d6e7b4b4
lumpy: init 0.3.0 2020-07-05 09:19:11 +10:00
Justin Bedo
617483d27a
sambamba: init 0.7.1 2020-07-05 09:10:21 +10:00
Justin Bedo
2ada3b5d3e
samblaster: init 0.1.24 2020-07-05 09:10:21 +10:00
Mario Rodas
c70f0c6548
Merge pull request #92257 from r-ryantm/auto-update/tebreak
tebreak: 1.0 -> 1.1
2020-07-04 12:45:00 -05:00
R. RyanTM
d8956ba50e tebreak: 1.0 -> 1.1 2020-07-04 10:45:49 +00:00
Dmitry Kalinkin
b234812a38
Merge pull request #92127 from veprbl/pr/snakemake_5_19_3
snakemake: 5.17.0 -> 5.19.3
2020-07-03 14:03:37 -04:00
Mario Rodas
212b0d32ca
Merge pull request #92169 from r-ryantm/auto-update/gmsh
gmsh: 4.5.6 -> 4.6.0
2020-07-03 07:59:10 -05:00
R. RyanTM
97c089f2f7 gmsh: 4.5.6 -> 4.6.0 2020-07-03 11:56:48 +00:00
Dmitry Kalinkin
eb121e0901
snakemake: 5.17.0 -> 5.19.3 2020-07-02 23:36:20 -04:00
R. RyanTM
6630edb1bd picard-tools: 2.23.0 -> 2.23.1 2020-07-02 18:09:49 -07:00
R. RyanTM
a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner
ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean
lean: 3.16.2 -> 3.16.5
2020-07-02 15:27:58 +02:00
R. RyanTM
39ee2ab9c0 lean: 3.16.2 -> 3.16.5 2020-07-02 13:12:58 +00:00
Vincent Laporte
d34bde6ac7 why3: compatibility with JSoO 3.6.0 2020-06-28 09:59:04 +02:00
Markus Kowalewski
187b4a2e04
root: add license 2020-06-27 00:43:21 +02:00
Markus Kowalewski
52f9aebe64
qalculate-gtk: add license 2020-06-27 00:37:44 +02:00
Markus Kowalewski
c317091b5a
mrbayes: fix license 2020-06-26 11:06:35 +02:00
Markus Kowalewski
83dda57082
emboss: fix license 2020-06-26 11:05:24 +02:00
zowoq
c7e61112df treewide: remove deprecated value Application from makeDesktopItem 2020-06-25 12:18:37 +10:00
Daniël de Kok
5f0cf22c59 cadical: enable tests 2020-06-24 15:10:53 -07:00
Maximilian Bosch
44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
cadical: 1.2.1 -> 1.3.0
2020-06-23 23:33:10 +02:00
Maximilian Bosch
3c3840ecd6
stellarium: 0.20.1 -> 0.20.2
https://github.com/Stellarium/stellarium/releases/tag/v0.20.2
2020-06-22 20:30:42 +02:00
Sébastien Maret
b307674e02
gildas: 20200201_a -> 20200601_b (#91096) 2020-06-19 10:40:38 -04:00
Vincent Laporte
a8bb61222f coq_8_12: init at 8.12+β1 2020-06-19 12:28:42 +02:00
Dmitry Kalinkin
df3a188b46
root5: 5.34.36 -> 5.34.38
Fixes: https://nvd.nist.gov/vuln/detail/CVE-2017-1000203
2020-06-18 16:42:02 -04:00
R. RyanTM
7b104edf89 eagle: 9.6.1 -> 9.6.2 2020-06-17 11:04:13 -07:00
evils
b8a03a66b3
fahclient: 7.6.9 -> 7.6.13 (#99595) 2020-10-05 14:40:10 +02:00
Gabriel Ebner
9fadca2bcc qalculate-gtk: 3.12.1 -> 3.13.0 2020-10-04 14:53:10 +02:00
Mario Rodas
c89c819abd
Merge pull request #98672 from r-ryantm/auto-update/bcftools
bcftools: 1.10.2 -> 1.11
2020-10-02 23:57:06 -05:00
Ryan Mulligan
6aadae67de
Merge pull request #81550 from scalavision/add-kent-utils-to-bioinf
kent: init at 394
2020-10-02 09:05:51 -07:00
Patrick Hilhorst
f7e390e6d4 treewide: fix redirected urls (run 3)
Related:
 - 9fc5e7e473
 - 593e11fd94
 - 508ae42a0f

Since the last time I ran this script, the Repology API changed, so I had to
adapt the script used in the previous PR. The new API should be more robust, so
overall this is a positive (no more grepping the error messages for our relevant
data but just a nice json structure).

Here's the new script I used:

```sh
curl https://repology.org/api/v1/repository/nix_unstable/problems \
   | jq -r '.[] | select(.type == "homepage_permanent_https_redirect") | .data | "s@\(.url)@\(.target)@"' \
   | sort | uniq | tee script.sed
find -name '*.nix' | xargs -P4 -- sed -f script.sed -i
```

I will also add this script to `maintainers/scripts`.
2020-10-02 09:01:35 -07:00
Scalavision
a6f124f57b kent: init at 404 2020-10-01 19:50:37 +02:00
R. RyanTM
f4d3204486 bcftools: 1.10.2 -> 1.11 2020-09-24 18:53:07 +00:00
Austin Seipp
9954d5a583
verilator: 4.034 -> 4.036
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-16 11:19:57 -05:00
Narazaki, Shuji
d6c90aea17 cadical: 1.2.1 -> 1.3.0 2020-06-15 22:56:41 +09:00
Ryan Mulligan
c2df0fb59a
Merge pull request #90419 from r-ryantm/auto-update/picard-tools
picard-tools: 2.22.9 -> 2.23.0
2020-06-15 05:48:36 -07:00
R. RyanTM
57a49ce3a4 picard-tools: 2.22.9 -> 2.23.0 2020-06-15 00:57:30 +00:00
Steve Purcell
af76ba6c57 fastdownward: 2019-05-13 -> 19.12
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
2020-06-15 10:40:53 +12:00
R. RyanTM
e63bfcef96 lean: 3.15.0 -> 3.16.2 2020-06-14 19:32:20 +00:00
wucke13
6bd79857e9 apmplanner2: 2.0.27-rc1 -> 2.0.28-rc1 2020-06-14 13:27:38 +02:00
wucke13
e4183aaa76 betaflight-configurator: 10.6.0 -> 10.7.0 2020-06-14 12:32:59 +02:00
Steve Purcell
1058f8f8cf fast-downward: also build on darwin 2020-06-14 17:55:14 +12:00
Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11
Also includes a bump to `abc-verifier`.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
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
R. RyanTM
b1049a61f1 star: 2.7.3a -> 2.7.4a 2020-06-09 02:32:13 +00: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
Sohalt
877af72161
Fixup
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-06-05 12:44:13 +02: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
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
Timo Kaufmann
aae9af9632 palp: fix hash
It looks like the upstream tarball was changed since I updated palp 3
days ago. Hopefully that won't happen again.
2020-05-19 17:50:43 +02:00
Gabriel Ebner
ade0eba99d
Merge pull request #88131 from r-ryantm/auto-update/elan 2020-05-19 09:38:28 +02:00
Lancelot SIX
b7c5508bfc
Merge pull request #86910 from lsix/cytoscape-3.8.0
cytoscape: 3.7.2 -> 3.8.0
2020-05-19 08:32:48 +01:00
R. RyanTM
748e2fcf6c elan: 0.10.0 -> 0.10.2 2020-05-19 05:02:43 +00:00
Timo Kaufmann
91da9ed129
Merge pull request #87944 from timokau/palp-2.11
palp: 2.1 -> 2.11
2020-05-18 19:58:59 +00:00
Ryan Mulligan
fdf4439acc
Merge pull request #87494 from r-ryantm/auto-update/SPAdes
SPAdes: 3.14.0 -> 3.14.1
2020-05-18 08:06:19 -07:00
Timo Kaufmann
d65850e975 palp: 2.1 -> 2.11
According to the homepage[1]:

> Small change in Mori.h for compatibility with gcc_10 (thanks to J.
  Puydt) [May 15, 2020].

Disabling the strictoverflow seems to be no longer necessary (I'm
relying on the check phase here).

[1] http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html
2020-05-16 15:07:57 +02:00
Timo Kaufmann
51de320353 palp: add meta.changelog 2020-05-16 15:05:45 +02:00
Mario Rodas
b022ecbf5d
lean: 3.10.0 -> 3.13.1 2020-05-16 04:20:00 -05:00
Matt Huszagh
e8215cd634 colmap: update boost to 1.72 to fix build 2020-05-15 09:42:36 -07:00
R. RyanTM
d11e5f1a4e verilator: 4.032 -> 4.034 2020-05-12 22:27:21 -07:00
R. RyanTM
e07dfd38f1 wxmaxima: 20.02.4 -> 20.04.0 2020-05-12 22:12:53 -07:00
Ben Darwin
5e716bf469 vtk: 7.1.1 -> 8.2.0
- also create vtk_7 as several packages don't build with 8.x:
  - itk5: vtkVersion.h header not found at compile time
  - ants: version in tree (2.2.0) is incompatible with 8.2
  - itk4: ants depends on both vtk and itk4, so use vtk_7
  - gdcm: vtk header issue
  - python3Packages.vtk: Python C API compilation error with Python 3.8

- upgrade vtkWithQt4 -> vtkWithQt5
2020-05-11 17:54:29 -04:00
Jörg Thalheim
3a9543b778
Merge pull request #82634 from evils/kicad 2020-05-11 10:27:18 +01:00
R. RyanTM
ae4d9cb9a0 stacks: 2.52 -> 2.53 2020-05-10 09:37:29 -07:00
R. RyanTM
92d970c766
snakemake: 5.15.0 -> 5.16.0 (#87496) 2020-05-10 10:09:53 -04:00
R. RyanTM
85b39960b5 SPAdes: 3.14.0 -> 3.14.1 2020-05-10 13:06:19 +00:00
sohalt
7bf616dd77 Correct license 2020-05-10 00:49:56 +02:00
sohalt
9ec71eb051 use https 2020-05-10 00:46:00 +02:00
Dmitry Kalinkin
e80302dc7d
Merge pull request #86142 from bcdarwin/itk-5.1.0
Itk: 5.0.1 -> 5.1.0
2020-05-09 15:03:28 -04:00
Luz
5e40913eac librepcb: 0.1.3 -> 0.1.4 2020-05-09 09:10:20 +02:00
albakham
0c0f353d62 rofi-calc: 1.6 -> 1.7 2020-05-08 22:12:49 -04:00
Gabriel Ebner
115fa1c129 elan: 0.9.0 -> 0.10.0 2020-05-08 17:17:03 +02:00
Pavol Rusnak
6abf4a43ad
treewide: per RFC45, remove more unquoted URLs 2020-05-08 15:20:47 +02:00
sohalt
de81e8b961 isabelle: 2018 -> 2020 2020-05-08 00:33:03 +02:00
Gabriel Ebner
f6f5f6a30f elan: 0.8.0 -> 0.9.0 2020-05-07 15:35:13 +02:00
Mario Rodas
60762e9524
Merge pull request #86216 from bcdarwin/mrtrix-update
mrtrix: 3.0_RC3_latest -> 3.0.0
2020-05-07 06:57:44 -05:00
R. RyanTM
bdcefc1053 marvin: 20.9.0 -> 20.10.0 2020-05-06 23:16:23 -07:00
Evils
2d3d8c4d66 kicad-unstable: 2020-04-25 -> 2020-05-06 2020-05-07 02:15:57 +02:00
Evils
1059fdf143 kicad: link utils; clean up wrapper installPhase 2020-05-07 01:54:51 +02:00
Evils
95e4e33bdf kicad-unstable-small: init to make kicad-unstable
the -small packages depend on all hydra buildable dependencies
the non-small ones depend on packages3d which exceeds hydra's limit

set platforms to all (kicad is cross-platform)
clarify package differences in the description

set maintainers on just the top level derivation

switch -unstable to not save debug symbols

indicate patch in version string

note broken dependencies
2020-05-07 01:54:50 +02:00
Evils
18a1b153ac kicad: expose base and libraries attributes 2020-05-07 01:54:50 +02:00
Yurii Rashkovskii
c73875ea1e tlaplus: 1.5.6 -> 1.7.0 2020-05-06 12:26:10 -07:00
Jörg Thalheim
3c4096f18b
Merge pull request #86808 from doronbehar/rename-opencv 2020-05-05 20:19:50 +01:00
tim put
33b968049a
kstars: init at 2.9.8 (#86032)
* kstars: init at 2.9.8

* Update pkgs/applications/science/astronomy/kstars/default.nix

Co-authored-by: Manuel Bärenz <programming@manuelbaerenz.de>

Co-authored-by: Manuel Bärenz <programming@manuelbaerenz.de>
2020-05-05 20:38:28 +02:00
markuskowa
73dc3fc400
Merge pull request #86887 from r-ryantm/auto-update/gromacs
gromacs: 2020.1 -> 2020.2
2020-05-05 19:19:04 +02:00
Doron Behar
53effac040 mathematica: explicitly use opencv2 2020-05-05 13:48:55 +03:00
Lancelot SIX
b9d13090a8
cytoscape: 3.7.2 -> 3.8.0
See https://cytoscape.org/release_notes_3_8_0.html for release
information
2020-05-05 09:52:27 +01:00
R. RyanTM
ed5575071f gromacs: 2020.1 -> 2020.2 2020-05-05 05:59:23 +00:00
Ben Darwin
6f1430a802 ezminc: switch from itk5 to itk4 branch
- itk5 branch currently lacks support for itk 5.1
2020-05-05 00:08:04 -04:00
Mario Rodas
3b6c399fc3
Merge pull request #86720 from r-ryantm/auto-update/picard-tools
picard-tools: 2.22.2 -> 2.22.4
2020-05-04 06:01:31 -05:00
R. RyanTM
0a115f8087 cryptominisat: 5.6.8 -> 5.7.0 2020-05-04 01:41:26 -07:00
R. RyanTM
877b1cdad7 picard-tools: 2.22.2 -> 2.22.4 2020-05-04 04:07:44 +00:00
Mario Rodas
3253c03d2e
lean: 3.9.0 -> 3.10.0 2020-05-02 04:20:00 -05:00
Benjamin Hipple
6b21541772
Merge pull request #86101 from dkudriavtsev/magic-vlsi
magic-vlsi: init at 8.3.5
2020-05-02 13:51:41 -04:00
R. RyanTM
a930faab93 mxnet: 1.4.1 -> 1.6.0 2020-05-02 10:17:38 +02:00
R. RyanTM
d0afae4298 dcm2niix: 1.0.20190902 -> 1.0.20200331 2020-05-02 10:16:22 +02:00
Wulfsta
5dbc4f7fda elmerfem: init at release-8.4 2020-05-01 18:35:57 -07:00
Timo Kaufmann
7866440f12
Merge pull request #86274 from samlich/sage-matrix-double-dense
sage: fix doctest matrix_double_dense is_unitary
2020-05-01 22:12:10 +00:00
Peter Simons
205e4dffd5
Merge pull request #86081 from jabranham/update-r
R: 3.6.3 --> 4.0.0 & update packages
2020-05-01 20:25:14 +02:00
samlich
c0bd938e5c
sage: fix doctest matrix_double_dense is_unitary 2020-05-01 16:04:23 +00:00
R. RyanTM
7333b8cd6d eagle: 9.6.0 -> 9.6.1 2020-05-01 09:09:10 +02:00
Dmitry Kalinkin
babf5477f5
Merge pull request #86251 from veprbl/pr/sherpa_2_2_9
sherpa: 2.2.8 -> 2.2.9
2020-04-29 19:10:43 -04:00
Jan Tojnar
2b5e2ffe0a
Merge pull request #86165 from jtojnar/libusb-compat-rename 2020-04-29 08:26:08 +02:00
Dmitry Kalinkin
ae0685129b
sherpa: 2.2.8 -> 2.2.9 2020-04-28 16:46:02 -04:00
evils
e257a92472
foldingathome: 7.5.1 -> 7.6.9 (#86171) 2020-04-28 17:20:43 +00:00
Ben Darwin
70171d321e mrtrix: 3.0_RC3_latest -> 3.0.0 2020-04-28 10:37:06 -04:00
Daniël de Kok
3ba5bc7130 fasttext: 0.9.1 -> 0.9.2
Changelog:

https://github.com/facebookresearch/fastText/releases/tag/v0.9.2
2020-04-28 12:14:54 +02:00
Jan Tojnar
e89e2edc73
libusb-compat-0_1: rename from libusb 2020-04-28 05:33:41 +02:00
Dmitry Kudriavtsev
69f54c1e19 magic-vlsi: init at 8.3.5 2020-04-27 00:13:59 -07:00
Alex Branham
8ce6552d64
R: 3.6.3 -> 4.0.0 2020-04-26 17:06:07 -04:00
Evils
b80bd001e2
kicad-unstable: 2020-02-10 -> 2020-04-25
cc #82634
2020-04-26 13:38:37 -04:00
Evils
75963b9160
kicad: update.sh: set -e
and some more suggestions from veprbl

warn if an empty item gets through anyway

and use UTC time

cc #82634
2020-04-26 13:38:13 -04:00
Renato Garcia
22133c6bf3
snakemake: 5.13.0 -> 5.15.0 (#85913) 2020-04-25 09:19:54 -04:00
Konrad Borowski
f527f9db3a snakemake: update homepage link to use HTTPS 2020-04-24 19:44:59 -07:00
Konrad Borowski
40dd2c27c6 rink: update homepage link to use HTTPS 2020-04-24 19:44:59 -07:00
Ben Wolsieffer
bc93f123ea mavproxy: 1.8.18 -> 1.8.19 2020-04-24 18:03:57 -07:00
Lassulus
d0b1de5491
Merge pull request #70401 from bzizou/quast
Quast: init at 5.0.2
2020-04-24 20:26:04 +02:00
Bruno Bzeznik
db48393552 init at 3.0.0-beta14 2020-04-24 11:20:14 +02:00
Bruno Bzeznik
eb51b462aa Quast: init at 5.0.2 2020-04-24 10:11:54 +02:00
Pavol Rusnak
461a252bee
verifast: change license to MIT
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a

As this was the only package using lib.licenses.msrla I dropped it.
2020-04-23 09:59:33 +00:00
worldofpeace
b4d5dd861b
Merge pull request #84673 from mmilata/qt5-mkDerivation-stdenv
Use qt5's mkDerivation in packages that otherwise crash
2020-04-22 13:39:46 -04:00
Martin Milata
7d1c2c05c5 caneda: use qt5's mkDerivation 2020-04-22 15:21:49 +02:00
Frederik Rietdijk
ec21df329a
Merge pull request #85636 from matthewbauer/blas-lapack-fix-fallout-from-83888
BLAS/LAPACK fix fallout from #83888
2020-04-21 19:59:16 +02:00
Justin Bedo
d8d6ecc418 mosdepth: 0.2.6 -> 0.2.9 2020-04-21 19:42:05 +02:00
Maximilian Bosch
68684b6376
stellarium: 0.20.0 -> 0.20.1
https://github.com/Stellarium/stellarium/releases/tag/v0.20.1
2020-04-21 18:05:15 +02:00
Matthew Bauer
ff2f2644f8 blas,lapack: use isILP64 instead of is64bit
This is a better name since we have multiple 64-bit things that could
be referred to.

LP64  : integer=32, long=64, pointer=64
ILP64 : integer=64, long=64, pointer=64
2020-04-20 16:02:43 -05:00
markuskowa
d9af81af16
Merge pull request #85006 from r-ryantm/auto-update/verilator
verilator: 4.030 -> 4.032
2020-04-20 16:51:31 +02:00
Benjamin Hipple
e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin
ad7b7367b6 beluga: 20180403 -> unstable-2020-03-11 2020-04-19 21:54:06 -04:00
Mario Rodas
f37c9226fc
lean: 3.8.0 -> 3.9.0 2020-04-18 04:20:00 -05:00
Matthew Bauer
97fc083fd4 giac: broken on 64-bit blas 2020-04-17 16:24:31 -05:00
Matthew Bauer
1c8aba8334 treewide: use blas and lapack
This makes packages use lapack and blas, which can wrap different
BLAS/LAPACK implementations.

treewide: cleanup from blas/lapack changes

A few issues in the original treewide:

- can’t assume blas64 is a bool
- unused commented code
2020-04-17 16:24:09 -05:00
worldofpeace
433ea74af1 nasc: fix build 2020-04-15 17:19:47 -04:00
AndersonTorres
3b91c3de8f gp2c: 0.0.11pl2 -> 0.0.11pl3 2020-04-15 00:45:28 -03:00
Benjamin Hipple
17a1bf5dbd
Merge pull request #85069 from r-ryantm/auto-update/ginac
ginac: 1.7.8 -> 1.7.9
2020-04-12 11:18:43 -04:00
R. RyanTM
9b5aad0644 ginac: 1.7.8 -> 1.7.9 2020-04-12 12:04:38 +00:00