Commit graph

3927 commits

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