Commit graph

3713 commits

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