Commit graph

4042 commits

Author SHA1 Message Date
Vincent Laporte cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Justin Bedo 634927a402
mosdepth: 0.2.9 -> 0.3.1 2020-09-30 09:48:47 +10:00
Jan Tojnar 32b4375f10
Merge branch 'staging-next' into staging 2020-09-29 00:12:29 +02:00
Dmitry Kalinkin dd57dcf2a5
stellarium: enable on darwin 2020-09-27 17:00:10 -04:00
Maximilian Bosch b8d1e39a28
stellarium: 0.20.2 -> 0.20.3
https://github.com/Stellarium/stellarium/releases/tag/v0.20.3
2020-09-27 22:09:36 +02:00
Matt Huszagh 6b9481607b openems: init at unstable-2020-02-15 2020-09-27 11:32:27 -07:00
Robert Scott 8db3ea1ef1
Merge pull request #98614 from r-burns/aragorn
aragorn: fix build on darwin
2020-09-25 19:58:10 +01:00
Dmitry Kalinkin 7867aafa51
Merge pull request #97613 from drewrisinger/zhf/verilog
verilog: cleanup & test
2020-09-25 10:37:34 -04:00
R. RyanTM e66a7e2fb7 cytoscape: 3.8.0 -> 3.8.1 2020-09-25 04:38:49 +00:00
Jan Tojnar d471c5d1f3
Merge branch 'staging-next' into staging 2020-09-24 23:09:00 +02:00
R. RyanTM 0765b507f9 jmol: 14.31.2 -> 14.31.3 2020-09-23 23:36:41 -07:00
Ryan Burns 6cc2d3e6f2 aragorn: fix build on darwin
Use environment-specified $CC for C compiler
2020-09-23 20:45:21 -07:00
Ryan Mulligan dfd2eeabd6
Merge pull request #69644 from bzizou/obitools
obitools3: init at 3.0.0-beta14
2020-09-23 19:04:11 -07:00
Doron Behar 0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3
why3: 1.3.1 -> 1.3.3
2020-09-23 10:35:57 +03:00
Daniël de Kok af5b1a9f94
Merge pull request #98427 from jbedo/octopus
octopus-caller: 0.6.3 -> 0.7.0
2020-09-23 08:24:10 +02:00
Jon c7fdc43709
Merge pull request #98283 from risicle/ris-truvari-2.0.2
truvari: 1.3.4 -> 2.0.2, add new dependencies & fix build
2020-09-22 23:10:58 -07:00
Robert Scott fc709e6dfe cvc3: enable for darwin
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
2020-09-22 23:06:45 -07:00
Robert Scott 53a8a415ac cvc3: fix build against bison 3.7
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
2020-09-22 23:06:45 -07:00
Austin Seipp daaa0e3350
Merge pull request #98239 from Sohalt/avy
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
Vincent Laporte 64b68b30e9
why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
Drew Risinger ba886f7b1a verilog: add tests
Run recommended self-tests from iverilog's CI.

Tests add about a minute to the build time on local machine
(2 -> 3 mins).
2020-09-22 13:58:15 -04:00
Drew Risinger 0d9a6e2da5 verilog: cleanup
Meta attributes were out of date or not in current style,
and some attributes of derivation were redundant.
2020-09-22 13:58:06 -04:00
Justin Bedo 4bbdb75f22
octopus-caller: 0.6.3 -> 0.7.0 2020-09-22 08:43:04 +10:00
WORLDofPEACE 34aaac6d7c Merge branch 'staging-next' into staging 2020-09-20 18:41:15 -04:00
sohalt 40722346b8 avy: 2017.10.16 -> 2019.05.01 2020-09-20 16:13:29 +02:00
Robert Scott ecd5886830 truvari: 1.3.4 -> 2.0.2, fixing build
seeing it has no tests, use pythonImportsCheck in an attempt to detect
total breakage, even though it's not intended to be used as an importable
module
2020-09-20 12:25:17 +01:00
Robert Scott f1d2491057 bwa: include static library and some key headers in output 2020-09-20 12:23:18 +01:00
Gabriel Ebner efa2089077
Merge pull request #89731 from doronbehar/jdk_rename 2020-09-20 11:07:55 +02:00
Robert Scott 4637721bc1 truvari: fix build
be less strict about versions
2020-09-19 20:25:08 -07:00
Gabriel Ebner 67ff41201f leo3: fix executable 2020-09-19 15:05:02 +02:00
Gabriel Ebner 1c576d0b37 sage: use jdk8 2020-09-19 14:22:43 +02:00
Hannes Weisbach 9c73e34d18 kicad: remove gettext from buildInputs, add to nativeBuildInputs
The i18n "library" does not link against gettext. It only requires the
msgfmt utility from gettext, hence gettext should be a nativeBuildInput
2020-09-17 19:48:50 +02:00
Vladyslav M 9147432d5f
Merge pull request #98062 from jonringer/fix-streamlit
streamlit: fix build
2020-09-16 23:45:32 +03:00
Austin Seipp f1f1396167
Merge pull request #98109 from Pamplemousse/verilator
verilator: 4.040 -> 4.100
2020-09-16 14:25:25 -05:00
Pamplemousse 9839c0b292 verilator: 4.040 -> 4.100
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
2020-09-16 08:40:01 -07:00
Anderson Torres 811709ff94
Merge pull request #95734 from trepetti/flatcam
flatcam: init at 8.5
2020-09-15 23:17:59 -03:00
Jonathan Ringer 07660b28bc streamlit: fix build 2020-09-15 11:19:26 -07:00
Vincent Laporte cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Sébastien Maret 234b39a6d4
gildas: 20200601_b -> 20200901_a (#97968) 2020-09-14 11:18:06 -04:00
Robert Scott 35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve
lp_solve: fix build
2020-09-13 11:00:26 +01:00
Vladimír Čunát e78b52ede7
Merge #95089: glibc: 2.31 -> 2.32 (into staging) 2020-09-13 08:26:14 +02:00
freezeboy 3fc3fd14cf lp_solve: fix buildCommand some binaries moved 2020-09-13 03:51:51 +02:00
Maximilian Bosch 81cf190882
sherpa: fix build w/glibc-2.32 2020-09-12 23:04:48 +02:00
Maximilian Bosch 8984fc2994
xfitter: fix build w/glibc-2.32 2020-09-12 23:04:47 +02:00
Thomas Tuegel 87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Maximilian Bosch 56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update
maintainers: updates for badi/badmutex
2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
Cole Helbling 339f6248f6
verilog: unstable-2019-08-01 -> unstable-2020-08-24
The build would previously fail due to a change in bison's behavior (see
5b699c1be7
for more information). Updating to a more recent version fixes this
issue.
2020-09-09 00:47:52 -07:00
Emery Hemingway dc09e3edfc nim: wrap compiler for cross-compilation support 2020-09-07 16:16:55 +02:00
Emery Hemingway 06ac3c1d2a nim: patch to fix dynamic library loading 2020-09-07 16:16:55 +02:00
Vincent Laporte 2a82f71bed
proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
Vladimír Čunát 0ecc8b9a56
Merge #97229: picard-tools: 2.23.3 -> 2.23.4 2020-09-07 09:38:34 +02:00
R. RyanTM 1cd9dafce0 ott: 0.30 -> 0.31 2020-09-06 22:25:50 +01:00
Daniël de Kok 193a6a2307
Merge pull request #97243 from r-ryantm/auto-update/rink
rink: 0.5.0 -> 0.5.1
2020-09-06 10:52:28 +02:00
Ryan Mulligan 6748689238
Merge pull request #97251 from r-ryantm/auto-update/star
star: 2.7.4a -> 2.7.5c
2020-09-05 19:28:47 -07:00
R. RyanTM cc797c4ab8 star: 2.7.4a -> 2.7.5c 2020-09-05 18:44:51 +00:00
R. RyanTM f47530237d rink: 0.5.0 -> 0.5.1 2020-09-05 16:48:17 +00:00
R. RyanTM 1c368b0f13 picard-tools: 2.23.3 -> 2.23.4 2020-09-05 14:02:32 +00:00
voidless 721da4b5e2 geogebra6: 6-0-598-0 -> 6-0-600-0 2020-09-04 11:49:44 +02:00
Tom Repetti 10e5003d20 flatcam: init at 8.5 2020-09-03 14:19:59 -04:00
John Ericson 1965a241fc
Merge pull request #61019 from volth/gcc.arch-amd
platform.gcc.arch: support for AMD CPUs
2020-09-01 22:31:16 -04:00
R. RyanTM 71d933e214 openhantek6022: 3.1.1 -> 3.1.2 2020-08-31 17:24:28 -07:00
worldofpeace 20252b3cb6 nasc: typo 2020-08-31 13:53:25 -04:00
worldofpeace 32a9e0eea7 nasc: 0.5.4 -> 0.7.5
* updates to meson build system
* adapt to complications around libqalculate
* update metadata
* add update script
2020-08-31 13:50:43 -04:00
R. RyanTM 43114a1751 wxmaxima: 20.04.0 -> 20.06.6 2020-08-31 17:09:33 +02:00
R. RyanTM 73cff3d2c2 R: 4.0.0 -> 4.0.2 2020-08-31 16:57:06 +02:00
Mario Rodas f7eb2883b5 lean: 3.18.4 -> 3.19.0 2020-08-29 04:20:00 +00:00
Maximilian Bosch 577b654415
Merge pull request #96584 from r-ryantm/auto-update/rofi-calc
rofi-calc: 1.7 -> 1.8
2020-08-29 18:42:32 +02:00
R. RyanTM 741b7f7b36 rofi-calc: 1.7 -> 1.8 2020-08-29 06:44:34 +00:00
Vincent Laporte 5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
R. RyanTM ee4c871ecd marvin: 20.16.0 -> 20.17.0 2020-08-26 12:52:34 +00:00
Henri Menke e1f177fab2
mathematica: 12.1.0 -> 12.1.1 2020-08-24 11:36:59 +12:00
Silvan Mosberger cf47ba66fb
Merge pull request #81129 from scalavision/igv-update-28x
igv: 2.4.19 -> 2.8.0
2020-08-23 19:24:33 +02:00
scalavision 78e89143d4
igv: 2.4.19 -> 2.8.9
Co-Authored-By: Silvan Mosberger <contact@infinisil.com>
2020-08-23 19:23:04 +02:00
Austin Seipp 7cb1f36513
verilator: 4.036 -> 4.040
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Austin Seipp 1e451da386
mcy: 2020.07.06 -> 2020.08.03
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Austin Seipp 0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Evils 3ebb12a695 kicad-unstable: 2020-07-21 -> 2020-08-22 2020-08-23 13:24:16 +02:00
Evils c761c60431 kicad: reenable scriptingSupport
94108 fixed the wxPython dependency
2020-08-23 13:24:16 +02:00
Evils 43a6b7b886 kicad: use hash rather than date for package names
to prevent duplication when just the date changes

kicad.libraries should be fixed output derivations?
2020-08-23 13:24:16 +02:00
Gabriel Ebner f84aae6f67
Merge pull request #96074 from gebner/qalc-gtk-doc-hack
qalculate-gtk: explain pkg-config issue
2020-08-23 11:53:32 +02:00
Lassulus 15d98507ee
Merge pull request #87224 from Sohalt/isabelle
isabelle: 2018 -> 2020
2020-08-23 11:28:53 +02:00
Gabriel Ebner 294ddd8e9f qalculate-gtk: explain pkg-config issue 2020-08-23 11:13:06 +02:00
Daniël de Kok 0d2d55f16b
Merge pull request #86807 from matthuszagh/vhd2vl
vhd2vl: init
2020-08-22 20:19:43 +02:00
Gabriel Ebner a3ce3f5931 qalculate-gtk: fix parallel build 2020-08-22 19:06:43 +02:00
Matt Huszagh 38aadfbbad vhd2vl: init at unstable-2018-09-01 2020-08-22 09:42:34 -07:00
Gabriel Ebner 55af730da0
Merge pull request #95999 from gebner/calculix217
calculix: 2.15 -> 2.17
2020-08-22 18:26:02 +02:00
Gabriel Ebner 294cd72be3 qalculate-gtk: 3.8.0a -> 3.12.1 2020-08-22 17:14:25 +02:00
Gabriel Ebner 214d7626e1 calculix: 2.15 -> 2.17 2020-08-22 17:12:30 +02:00
Daniël de Kok 0cb88d7302
Merge pull request #95975 from r-ryantm/auto-update/hyp2mat
hyp2mat: 0.0.17 -> 0.0.18
2020-08-22 15:24:37 +02:00
Lassulus 7623640e54
Merge pull request #89868 from r-ryantm/auto-update/star
star: 2.7.3a -> 2.7.4a
2020-08-22 13:35:13 +02:00
R. RyanTM 55d5e762d0 hyp2mat: 0.0.17 -> 0.0.18 2020-08-22 09:25:47 +00:00
R. RyanTM 60a133f5d1 adms: 2.3.6 -> 2.3.7 2020-08-21 21:04:44 -07:00
Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel 1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Lassulus de25713886
Merge pull request #91647 from jbedo/whisper
whisper: init at 2.0.1
2020-08-21 18:09:35 +02:00
Mario Rodas f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00
Lassulus 8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba
ltl2ba: 1.2 -> 1.3
2020-08-20 23:02:41 +02:00
freezeboy 531cf77114 labelImg: 1.8.1 -> 1.8.3
Switch to python3 and qt5 libraries also
2020-08-20 21:08:39 +02:00
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 887f1978f6 tlaplusToolbox: 1.6.0 -> 1.7.0 2020-07-07 21:21:49 +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