Commit Graph

3677 Commits

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