dfd2eeabd6
Merge pull request #69644 from bzizou/obitools
...
obitools3: init at 3.0.0-beta14
2020-09-23 19:04:11 -07:00
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
af5b1a9f94
Merge pull request #98427 from jbedo/octopus
...
octopus-caller: 0.6.3 -> 0.7.0
2020-09-23 08:24:10 +02:00
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
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
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
daaa0e3350
Merge pull request #98239 from Sohalt/avy
...
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
64b68b30e9
why3: 1.3.1 -> 1.3.3
2020-09-23 03:24:02 +02:00
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
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
4bbdb75f22
octopus-caller: 0.6.3 -> 0.7.0
2020-09-22 08:43:04 +10:00
34aaac6d7c
Merge branch 'staging-next' into staging
2020-09-20 18:41:15 -04:00
40722346b8
avy: 2017.10.16 -> 2019.05.01
2020-09-20 16:13:29 +02:00
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
f1d2491057
bwa: include static library and some key headers in output
2020-09-20 12:23:18 +01:00
efa2089077
Merge pull request #89731 from doronbehar/jdk_rename
2020-09-20 11:07:55 +02:00
4637721bc1
truvari: fix build
...
be less strict about versions
2020-09-19 20:25:08 -07:00
67ff41201f
leo3: fix executable
2020-09-19 15:05:02 +02:00
1c576d0b37
sage: use jdk8
2020-09-19 14:22:43 +02:00
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
9147432d5f
Merge pull request #98062 from jonringer/fix-streamlit
...
streamlit: fix build
2020-09-16 23:45:32 +03:00
f1f1396167
Merge pull request #98109 from Pamplemousse/verilator
...
verilator: 4.040 -> 4.100
2020-09-16 14:25:25 -05:00
9839c0b292
verilator: 4.040 -> 4.100
...
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
2020-09-16 08:40:01 -07:00
811709ff94
Merge pull request #95734 from trepetti/flatcam
...
flatcam: init at 8.5
2020-09-15 23:17:59 -03:00
07660b28bc
streamlit: fix build
2020-09-15 11:19:26 -07:00
cc4a33d78c
ott: 0.30 → 0.31
2020-09-14 21:42:22 +02:00
234b39a6d4
gildas: 20200601_b -> 20200901_a ( #97968 )
2020-09-14 11:18:06 -04:00
35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve
...
lp_solve: fix build
2020-09-13 11:00:26 +01:00
e78b52ede7
Merge #95089 : glibc: 2.31 -> 2.32 (into staging)
2020-09-13 08:26:14 +02:00
3fc3fd14cf
lp_solve: fix buildCommand some binaries moved
2020-09-13 03:51:51 +02:00
81cf190882
sherpa: fix build w/glibc-2.32
2020-09-12 23:04:48 +02:00
8984fc2994
xfitter: fix build w/glibc-2.32
2020-09-12 23:04:47 +02:00
87c7d1d4f8
z3: 4.8.8 -> 4.8.9
2020-09-11 14:38:43 -05:00
56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update
...
maintainers: updates for badi/badmutex
2020-09-09 23:03:52 +02:00
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05:00
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
2020-09-09 00:47:52 -07:00
dc09e3edfc
nim: wrap compiler for cross-compilation support
2020-09-07 16:16:55 +02:00
06ac3c1d2a
nim: patch to fix dynamic library loading
2020-09-07 16:16:55 +02:00
2a82f71bed
proverif: 2.01 → 2.02pl1
2020-09-07 09:54:54 +02:00
0ecc8b9a56
Merge #97229 : picard-tools: 2.23.3 -> 2.23.4
2020-09-07 09:38:34 +02:00
1cd9dafce0
ott: 0.30 -> 0.31
2020-09-06 22:25:50 +01:00
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
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
cc797c4ab8
star: 2.7.4a -> 2.7.5c
2020-09-05 18:44:51 +00:00
f47530237d
rink: 0.5.0 -> 0.5.1
2020-09-05 16:48:17 +00:00
1c368b0f13
picard-tools: 2.23.3 -> 2.23.4
2020-09-05 14:02:32 +00:00
721da4b5e2
geogebra6: 6-0-598-0 -> 6-0-600-0
2020-09-04 11:49:44 +02:00
10e5003d20
flatcam: init at 8.5
2020-09-03 14:19:59 -04:00
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
71d933e214
openhantek6022: 3.1.1 -> 3.1.2
2020-08-31 17:24:28 -07:00
20252b3cb6
nasc: typo
2020-08-31 13:53:25 -04:00
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
43114a1751
wxmaxima: 20.04.0 -> 20.06.6
2020-08-31 17:09:33 +02:00
73cff3d2c2
R: 4.0.0 -> 4.0.2
2020-08-31 16:57:06 +02:00
f7eb2883b5
lean: 3.18.4 -> 3.19.0
2020-08-29 04:20:00 +00:00
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
741b7f7b36
rofi-calc: 1.7 -> 1.8
2020-08-29 06:44:34 +00:00
5e6eeb795c
alt-ergo: 2.3.2 → 2.3.3
2020-08-29 06:21:23 +02:00
ee4c871ecd
marvin: 20.16.0 -> 20.17.0
2020-08-26 12:52:34 +00:00
e1f177fab2
mathematica: 12.1.0 -> 12.1.1
2020-08-24 11:36:59 +12:00
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
78e89143d4
igv: 2.4.19 -> 2.8.9
...
Co-Authored-By: Silvan Mosberger <contact@infinisil.com>
2020-08-23 19:23:04 +02:00
7cb1f36513
verilator: 4.036 -> 4.040
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
1e451da386
mcy: 2020.07.06 -> 2020.08.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
3ebb12a695
kicad-unstable: 2020-07-21 -> 2020-08-22
2020-08-23 13:24:16 +02:00
c761c60431
kicad: reenable scriptingSupport
...
94108 fixed the wxPython dependency
2020-08-23 13:24:16 +02:00
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
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
15d98507ee
Merge pull request #87224 from Sohalt/isabelle
...
isabelle: 2018 -> 2020
2020-08-23 11:28:53 +02:00
294ddd8e9f
qalculate-gtk: explain pkg-config issue
2020-08-23 11:13:06 +02:00
0d2d55f16b
Merge pull request #86807 from matthuszagh/vhd2vl
...
vhd2vl: init
2020-08-22 20:19:43 +02:00
a3ce3f5931
qalculate-gtk: fix parallel build
2020-08-22 19:06:43 +02:00
38aadfbbad
vhd2vl: init at unstable-2018-09-01
2020-08-22 09:42:34 -07:00
55af730da0
Merge pull request #95999 from gebner/calculix217
...
calculix: 2.15 -> 2.17
2020-08-22 18:26:02 +02:00
294cd72be3
qalculate-gtk: 3.8.0a -> 3.12.1
2020-08-22 17:14:25 +02:00
214d7626e1
calculix: 2.15 -> 2.17
2020-08-22 17:12:30 +02:00
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
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
55d5e762d0
hyp2mat: 0.0.17 -> 0.0.18
2020-08-22 09:25:47 +00:00
60a133f5d1
adms: 2.3.6 -> 2.3.7
2020-08-21 21:04:44 -07:00
616dd214d1
z3: add ttuegel to maintainers
2020-08-21 19:05:55 -07:00
1f512d7804
z3: 4.8.7 -> 4.8.8
2020-08-21 19:05:55 -07:00
de25713886
Merge pull request #91647 from jbedo/whisper
...
whisper: init at 2.0.1
2020-08-21 18:09:35 +02:00
f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 ( #95849 )
2020-08-21 10:52:11 +02:00
8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba
...
ltl2ba: 1.2 -> 1.3
2020-08-20 23:02:41 +02:00
531cf77114
labelImg: 1.8.1 -> 1.8.3
...
Switch to python3 and qt5 libraries also
2020-08-20 21:08:39 +02:00
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
7f31fe9ea6
vampire: 4.4 -> 4.5.1
2020-08-17 19:39:32 +02:00
67c88680f9
Merge pull request #95616 from lopsided98/qgroundcontrol-update
...
qgroundcontrol: 4.0.9 -> 4.0.10
2020-08-17 08:00:41 +02:00
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
5c78ba8ef6
qgroundcontrol: 4.0.9 -> 4.0.10
2020-08-16 15:28:55 -04:00
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
20c8945467
hisat2: 2.1.0 -> 2.2.1
2020-08-16 13:30:53 +00:00
3ab2bf69ce
Merge pull request #85330 from chkno/openmvg
...
openmvg: 1.3 -> 1.5 (unbreak)
2020-08-16 09:39:38 +02:00
05a16be9c5
openmvg: 1.3 -> 1.6 (unbreak)
2020-08-16 08:35:54 +02:00
473536e3b5
buildRustPackage: remove platform.all from packages
2020-08-16 12:48:18 +10:00
2f9ceb5416
gtkwave: 3.3.105 -> 3.3.106
2020-08-15 15:25:15 -07:00
620f9049ae
d-seams: init at 1.0.1
2020-08-15 19:36:04 +00:00
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
Ryan Mulligan
Doron Behar
Daniël de Kok
Jon
Robert Scott
Austin Seipp
Vincent Laporte
Drew Risinger
Justin Bedo
WORLDofPEACE
sohalt
Gabriel Ebner
Hannes Weisbach
Vladyslav M
Pamplemousse
Anderson Torres
Jonathan Ringer
Sébastien Maret
Vladimír Čunát
freezeboy
Maximilian Bosch
Thomas Tuegel
Badi Abdul-Wahid
Cole Helbling
Emery Hemingway
R. RyanTM
voidless
Tom Repetti
John Ericson
Mario Rodas
Henri Menke
Silvan Mosberger
scalavision
Evils
Lassulus
Matt Huszagh
Thomas Tuegel
Ben Wolsieffer
voidIess
Scott Worley
zowoq
Rohit Goswami
Lorenz Leutgeb