Timo Kaufmann
63ed2bf3c3
Merge pull request #81950 from r-ryantm/auto-update/pari
...
pari: 2.11.2 -> 2.11.3
2020-03-09 17:31:14 +00:00
Michael Raskin
bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init
...
clingcon: init at 3.3.0
2020-03-09 07:42:38 +00:00
mucaho
202c2a8eff
clingcon: init at 3.3.0
2020-03-08 19:21:55 +01:00
Maximilian Bosch
84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
...
satallax: Fix build with GCC9
2020-03-08 16:12:40 +01:00
Gabriel Ebner
d7a68e9bce
Merge pull request #82028 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.7.0 -> 3.8.0
2020-03-08 13:31:00 +01:00
Frederik Rietdijk
0eb0ddc4db
Merge staging-next into master
2020-03-08 08:11:01 +01:00
R. RyanTM
e6f5bb8dc4
qalculate-gtk: 3.7.0 -> 3.8.0
2020-03-08 00:14:22 +00:00
Vincent Laporte
dcfccdfc33
acgtk: 1.5.0 → 1.5.1 ( #81539 )
...
Co-authored-by: Jon <jonringer@users.noreply.github.com>
2020-03-07 09:56:18 +01:00
R. RyanTM
6528554396
pari: 2.11.2 -> 2.11.3
2020-03-07 02:43:40 +00:00
Gabriel Ebner
8428f5bb4a
elan: v0.8.0 tag was force-pushed by upstream
2020-03-06 15:35:37 +01:00
Gabriel Ebner
70e5428d66
elan: 0.7.5 -> 0.8.0
2020-03-06 14:28:36 +01:00
Joachim Breitner
2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 ( #75766 )
...
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)
js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1
Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Frederik Rietdijk
188c3a4d03
Merge staging-next into staging
2020-03-06 07:09:30 +01:00
Mario Rodas
7597bdd59b
Merge pull request #81783 from r-ryantm/auto-update/gmsh
...
gmsh: 4.5.2 -> 4.5.4
2020-03-05 08:31:38 -05:00
Mario Rodas
1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft
...
workcraft: 3.2.5 -> 3.2.6
2020-03-05 07:42:25 -05:00
Daniel Schaefer
bc56175034
satallax: Fix build with GCC9
2020-03-05 05:16:49 +01:00
R. RyanTM
9974067129
gmsh: 4.5.2 -> 4.5.4
2020-03-05 00:20:08 +00:00
R. RyanTM
adcdd7b0a7
gromacs: 2020 -> 2020.1
2020-03-04 23:10:39 +00:00
Jan Tojnar
1a44e325d2
Merge branch 'staging-next' into staging
2020-03-04 21:24:05 +01:00
R. RyanTM
86e6080daf
workcraft: 3.2.5 -> 3.2.6
2020-03-04 13:41:09 +00:00
Mario Rodas
5760e001ca
Merge pull request #81706 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.21.8 -> 2.22.0
2020-03-04 07:26:05 -05:00
R. RyanTM
343ec80712
picard-tools: 2.21.8 -> 2.22.0
2020-03-04 09:58:40 +00:00
Gabriel Ebner
0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean
...
lean: 3.6.0 -> 3.6.1
2020-03-04 10:32:38 +01:00
R. RyanTM
5b833c08ef
lean: 3.6.0 -> 3.6.1
2020-03-04 06:26:01 +00:00
Aiken Cairncross
3db82f6fc3
python3Packages.monosat: Fix hash
...
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
markuskowa
dbb9fab27f
Merge pull request #81604 from markuskowa/upd-octopus
...
octopus: 9.1 -> 9.2
2020-03-03 12:45:16 +01:00
markuskowa
4822d61252
Merge pull request #80977 from r-ryantm/auto-update/quantum-espresso
...
quantum-espresso: 6.4.1 -> 6.5
2020-03-03 11:09:30 +01:00
Markus Kowalewski
eebd6fe75a
octopus: 9.1 -> 9.2
2020-03-03 10:54:23 +01:00
Aiken Cairncross
2148a154c6
python3Packages.monosat: Fix Python 3.8 build
2020-03-03 07:40:57 +01:00
Brenton Horne
b07eb54048
marvin: 20.4.0 -> 20.6.0
2020-03-02 21:50:25 +01:00
Jan Tojnar
f27031f48f
Merge pull request #81063 from NixOS/netpbm
...
netpbm: 10.82.01 → 10.89.1
2020-03-02 19:26:25 +01:00
scalavision
dbb4826457
truvari:1.3.2->1.3.4
2020-03-02 09:15:58 +01:00
Jan Tojnar
9555834399
netpbm: split into multiple outputs
2020-03-01 15:13:03 +01:00
Frederik Rietdijk
21b808cd76
Merge staging-next into staging
2020-02-29 15:29:45 +01:00
Benjamin Hipple
ad30a30488
rustPlatform.fetchCargo: handle custom Cargo.lock patchfiles with validation
...
Previously, we would asssert that the lockfiles are consistent during the
unpackPhase, but if the pkg has a patch for the lockfile itself then we must
wait until the patchPhase is complete to check.
This also removes an implicity dependency on the src attribute coming from
`fetchzip` / `fetchFromGitHub`, which happens to name the source directory
"source". Now we glob for it, so different fetchers will work consistently.
2020-02-28 18:54:23 -08:00
Matthieu Coudron
05b6836816
torchPackages, torch-repl: remove
...
See https://github.com/NixOS/nixpkgs/issues/71888
and https://github.com/NixOS/nixpkgs/issues/56398
To sump up, development has moved on to other technologies than lua:
https://github.com/torch/torch7#development-status
and the current packages are broken anyway.
2020-02-28 20:56:42 +01:00
Austin Seipp
7e66ce29bf
mcy: init at 2020.02.05
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Austin Seipp
3d8efecda1
symbiyosys: fix calls to external programs
...
48085826f
broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.
But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.
This also does some other minor clean up.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Mario Rodas
79f057e2eb
lean: 3.5.1 -> 3.6.0
2020-02-26 18:00:00 -05:00
Dmitry Kalinkin
b9ee6cd85c
Merge pull request #80640 from smaret/gildas-20200201a
...
gildas: 20200101_a -> 20200201_a
2020-02-25 10:26:18 -05:00
R. RyanTM
56d58ecb24
quantum-espresso: 6.4.1 -> 6.5
2020-02-24 19:40:14 +00:00
R. RyanTM
4080e7976e
gtkwave: 3.3.103 -> 3.3.104
2020-02-24 11:43:54 -06:00
Linus Heckemann
0cc83f884a
Merge pull request #80292 from bcdarwin/mrtrix
...
mrtrix: init at 3.0_RC3_latest
2020-02-24 13:52:38 +01:00
Timo Kaufmann
f4dbf4402b
Merge pull request #80759 from Thra11/fix-r
...
Fix R
2020-02-23 23:48:21 +00:00
Tom Hall
ae9e09a2e1
R: fix build on aarch64 by removing a failing test
...
I believe this test is currently incorrect on aarch64 and expects a
warning about loss of precision with much smaller numbers than the
platform's long doubles can handle.
2020-02-22 13:17:40 +00:00
Edward Tjörnhammar
9b6faedb18
shogun: 6.0.0 -> 6.1.4
...
Also migrate to opencv3 to address #72739 , the PR didn't build for me.
Disable testing and ccache since they were broken.
Co-authored-by: Robert Scott <code@humanleg.org.uk>
2020-02-21 11:05:09 +01:00
Sébastien Maret
7667207f3d
gildas: 20200101_a -> 20200201_a
...
- Upgrade gildas to the latest version
- Remove a patch that has been included upstream
- Re-enable parallel building (fixed upstream)
2020-02-20 15:28:57 +01:00
Gabriel Ebner
f098b0dd2c
Merge pull request #80576 from bhipple/u/rust-cargo-elan
...
elan: upgrade cargo fetcher and cargoSha256
2020-02-20 09:53:49 +01:00
Maximilian Bosch
7bdc103ac8
geogebra: 5-0-570-0 -> 5-0-573-0
2020-02-20 03:09:06 +01:00
Benjamin Hipple
ed85c9981a
elan: upgrade cargo fetcher and cargoSha256
...
Infra upgrade as part of #79975 ; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00