mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
Code Issues Wiki Activity
251082 commits 204 branches 125 tags 10 GiB
Commit graph

3892 commits

Author SHA1 Message Date
Daniël de Kok 1b71929034 finalfusion-utils: 0.11.2 -> 0.12.0 
Changelog:
https://github.com/finalfusion/finalfusion-utils/releases/tag/0.12.0
 2020-08-19 09:51:11 +00:00
Gabriel Ebner 7f31fe9ea6 vampire: 4.4 -> 4.5.1 2020-08-17 19:39:32 +02:00
Daniël de Kok 67c88680f9
Merge pull request #95616 from lopsided98/qgroundcontrol-update 
qgroundcontrol: 4.0.9 -> 4.0.10
 2020-08-17 08:00:41 +02:00
Mario Rodas b05ede05a1
Merge pull request #90281 from purcell/fast-downward-darwin 
fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues
 2020-08-16 21:30:09 -05:00
Ben Wolsieffer 5c78ba8ef6 qgroundcontrol: 4.0.9 -> 4.0.10 2020-08-16 15:28:55 -04:00
voidIess 3cc44ba04e
geogebra 6 : init at 6-0-598-0 (#95422) 
* geogebra 6 : init at 6-0-598-0

since geogebra was ported from java to electron, this is a repacke;
wont want to delete geogebra 5, no darwin package for 6

ran nixpkgs-fmt over the file to cleanly reformat the spacings

Update pkgs/top-level/all-packages.nix

remove a trailing space

Co-authored-by: Tom Smeets <Tom.TSmeets@Gmail.com>

Update pkgs/applications/science/math/geogebra/geogebra_6.nix

Co-authored-by: Tom Smeets <Tom.TSmeets@Gmail.com>

Applied a sugestion for the formating of the lines

fixed a mistake, where the wrong name attribute was used

removed an unnecassary chmod statement

added a downlod link to archive.org

moved geogebra_6.nix to geogebra6.nix

removed unnecesary build inputs statement

* renamed to geogebra6
 2020-08-16 20:02:54 +02:00
Justin Bedo 20c8945467 hisat2: 2.1.0 -> 2.2.1 2020-08-16 13:30:53 +00:00
Daniël de Kok 3ab2bf69ce
Merge pull request #85330 from chkno/openmvg 
openmvg: 1.3 -> 1.5 (unbreak)
 2020-08-16 09:39:38 +02:00
Scott Worley 05a16be9c5 openmvg: 1.3 -> 1.6 (unbreak) 2020-08-16 08:35:54 +02:00
zowoq 473536e3b5 buildRustPackage: remove platform.all from packages 2020-08-16 12:48:18 +10:00
R. RyanTM 2f9ceb5416 gtkwave: 3.3.105 -> 3.3.106 2020-08-15 15:25:15 -07:00
Rohit Goswami 620f9049ae
d-seams: init at 1.0.1 2020-08-15 19:36:04 +00:00
Lorenz Leutgeb d50a6db016
z3: Add Java Bindings (#92096) 
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
 2020-08-15 07:37:38 +02:00
R. RyanTM afb809f30b kssd: 1.0 -> 1.1 2020-08-14 15:06:11 +00:00
Vladyslav M 3d1956ad34
Merge pull request #95062 from cryptix/update-aliza 
aliza: 1.48.10 -> 1.98.32
 2020-08-13 22:47:05 +03:00
Daniël de Kok 01a69537df
Merge pull request #93613 from baracoder/init-openhantek6022 
openhantek6022: init at 3.1.1
 2020-08-11 17:33:16 +02:00
Matt Huszagh 93e5e9e22d appcsxcad: init at unstable-2020-01-04 2020-08-10 23:45:59 -07:00
Matt Huszagh dad6b637c2 qcsxcad: init at unstable-2020-01-04 2020-08-10 21:39:57 -07:00
Henry eeea325e64 aliza: 1.48.10 -> 1.98.32 2020-08-10 11:16:16 +02:00
Ryan Mulligan ea39525ae7
Merge pull request #94779 from r-ryantm/auto-update/marvin 
marvin: 20.15.0 -> 20.16.0
 2020-08-09 12:45:42 -07:00
Jonathan Ringer 23d6cd325f root: don't propagated python interpreter 2020-08-09 10:44:15 -07:00
Vincent Laporte b8dfca143c coq_8_12: 8.12+β1 → 8.12.0 
coqPackages.equations: 1.2.2 → 1.2.3
 2020-08-08 06:33:08 +02:00
Markus Kowalewski 6c2f1e7f6b
octopus: 9.2 -> 10.0 2020-08-07 12:53:54 +02:00
Brandon Black bceadafba3
fritzing: use Qt's mkDerivation (#89117) 2020-08-06 23:24:25 +02:00
Matt Huszagh 4390d9b9f1 hyp2mat: init at 0.0.17 2020-08-06 10:22:06 -07:00
R. RyanTM 4e6f70eaf8 marvin: 20.15.0 -> 20.16.0 2020-08-06 10:10:49 +00:00
Matt Huszagh e74a6bcc20 csxcad: init at unstable-2020-02-08 2020-08-05 19:27:28 -07:00
volth cf7b63df5b gcc.arch: refactor, move tables under lib/ 2020-08-05 11:18:26 +00:00
Daniël de Kok d65ff81450
Merge pull request #93954 from danieldk/finalfusion-utils 
finalfusion-utils: init at 0.11.2
 2020-08-05 13:03:18 +02:00
Vincent Laporte 390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
Ryan Mulligan 393d3338f9
Merge pull request #94545 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.23.1 -> 2.23.3
 2020-08-02 15:23:56 -07:00
R. RyanTM 44181da7b7 picard-tools: 2.23.1 -> 2.23.3 2020-08-02 10:04:36 +00:00
R. RyanTM 7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
Gabriel Ebner aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover 
eprover: 2.4 -> 2.5
 2020-08-01 11:12:37 +02:00
John Ericson ef81828143
Merge pull request #94047 from kmicklas/fix-gplates 
gplates: 2.0.0 -> 2.2.0, unbreak
 2020-07-31 19:57:01 -04:00
R. RyanTM 202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00:00
Yurii Rashkovskii cc8369c461 why3: 1.2.1 -> 1.3.1 
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
 2020-07-30 23:05:08 +02:00
Herman Fries 956d35b990 openhantek6022: init at 3.1.1 2020-07-29 22:04:07 +02:00
Dmitry Kudriavtsev 345949594f maintainers: update name to anna 2020-07-28 19:48:16 -07:00
Mario Rodas 703b8ef3f3
Merge pull request #94091 from r-ryantm/auto-update/hmmer 
hmmer: 3.3 -> 3.3.1
 2020-07-28 14:04:04 -05:00
Mario Rodas 552a1f9278
itsx: enable on darwin 2020-07-28 13:48:55 -05:00
Mario Rodas b7c9ca336f
hmmer: enable on darwin 2020-07-28 13:47:34 -05:00
R. RyanTM 58e7ed9d56 hmmer: 3.3 -> 3.3.1 2020-07-28 16:39:23 +00:00
Ken Micklas 7ae6e51bd4 gplates: 2.0.0 -> 2.2.0, unbreak 2020-07-27 20:54:18 -04:00
Daniël de Kok 655d902909 finalfrontier: 0.9.3 -> 0.9.4 
Changelog:
https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4
 2020-07-27 11:02:09 +02:00
Daniël de Kok 2e97f552fd finalfusion-utils: init at 0.11.2 2020-07-27 10:00:47 +02:00
Vladyslav M 77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump 
drat-trim: 2017-08-31 -> 2020-06-05
 2020-07-26 22:50:14 +03:00
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