Vincent Laporte
2cb651ad14
cryptoverif: 2.01pl1 → 2.03pl1
2020-10-23 10:20:09 +02:00
Anderson Torres
253fb7648c
Merge pull request #101244 from zaninime/nanovna-saver
...
nanovna-saver: init at 0.3.7
2020-10-22 20:42:56 -03:00
Jan Tojnar
3e01d383ee
Merge branch 'staging-next' into staging
2020-10-22 21:20:32 +02:00
Francesco Zanini
2a54c4f950
nanovna-saver: init at 0.3.7
2020-10-22 16:23:13 +02:00
Daiderd Jordan
bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook
...
treewide: move fixDarwinDylibNames to nativeBuildInputs
2020-10-21 19:25:48 +02:00
Théo Zimmermann
5d0e2dedd5
coq: propagate and install ocaml and findlib
...
Fix #34657 .
2020-10-21 11:07:02 +02:00
markuskowa
4eb5b1285c
Merge pull request #101065 from markuskowa/fix-molcas
...
openmolcas: 19.11 -> 20.10
2020-10-21 09:37:28 +02:00
Andrew Childs
722d02a720
treewide: move fixDarwinDylibNames to nativeBuildInputs
...
This hook runs at build time and depends on executing
install_name_tool from binutils.
2020-10-21 13:26:53 +09:00
Austin Seipp
fba7eaeb63
Merge pull request #100741 from arcz/btor2tools
...
btor2tools: enable unix platforms
2020-10-19 16:18:56 -05:00
Markus Kowalewski
2eee4e4eac
openmolcas: 19.11 -> 20.10
2020-10-19 14:13:08 +02:00
Markus Kowalewski
8b02ff6b8e
openmolcas: fix build w.r.t. openblas
...
Fall out from switching openblas over to multiple outputs:
https://github.com/NixOS/nixpkgs/pull/98337
2020-10-19 14:00:48 +02:00
Masanori Ogino
096ef94717
gfan: fix build failures with cddlib v0.94l
...
It fixes https://github.com/NixOS/nixpkgs/issues/100622 .
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-10-19 10:29:01 +09:00
Gabriel Ebner
6d22203168
Merge pull request #101010 from r-ryantm/auto-update/lean
...
lean: 3.19.0 -> 3.21.0
2020-10-18 20:10:42 +02:00
R. RyanTM
855b84d8b0
lean: 3.19.0 -> 3.21.0
2020-10-18 17:00:15 +00:00
Doron Behar
1693d00562
Merge pull request #85456 from matthuszagh/kicad-libraries
2020-10-17 20:31:38 +03:00
Ryan Mulligan
ed8a50fa13
Merge pull request #100548 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.19 -> 1.8.22
2020-10-17 10:28:18 -07:00
Matt Huszagh
9320c69ecb
kicad: set default footprint, symbol library and package locations
...
Previously, these library locations were set absolutely. This
prevented overriding their locations with environment variables. Now,
setting the corresponding environment variable will override the
setting in the environment wrapper. For instance, I can set
KISYSMOD=/some/path/to/footprints
and this will be used as my footprint library instead of the default
footprint library in the nix store. This feature is particularly
useful for having kicad libraries which are writable.
2020-10-17 09:32:55 -07:00
Ben Siraphob
683a87dbeb
treewide: remove periods from end of package descriptions
2020-10-17 08:22:31 -07:00
Artur Cygan
5229b4502a
btor2tools: enable unix platforms
2020-10-16 19:39:46 +02:00
Ryan Mulligan
f9728adae7
Merge pull request #99128 from jbedo/delly
...
delly: 0.8.2 -> 0.8.5
2020-10-16 06:30:11 -07:00
R. RyanTM
a3dca9576b
deeptools: 3.4.1 -> 3.5.0
2020-10-16 00:42:47 -07:00
Doron Behar
1db3202722
Merge pull request #75843 from jbedo/lumpy
2020-10-15 19:46:13 +03:00
R. RyanTM
af82dfa808
mavproxy: 1.8.19 -> 1.8.22
2020-10-15 05:05:52 +00:00
Frederik Rietdijk
b981eca057
Merge master into staging-next
2020-10-14 11:32:49 +02:00
Anderson Torres
a9637e5b52
Merge pull request #100357 from AndersonTorres/zegrapher-new
...
zegrapher: init at 3.1.1
2020-10-13 15:14:04 -03:00
Frederik Rietdijk
9e1943edc0
Merge master into staging-next
2020-10-13 19:34:34 +02:00
Vincent Laporte
33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 ( #100148 )
2020-10-13 10:16:11 +02:00
Matthias Beyer
ea4a13e573
R: 4.0.2 -> 4.0.3
...
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
2020-10-13 10:05:15 +02:00
AndersonTorres
1331d642e0
zegrapher: init at 3.1.1
2020-10-12 19:31:34 -03:00
Doron Behar
58b8ae4127
Merge pull request #100066 from matthuszagh/kicad-srcs
2020-10-12 22:55:16 +03:00
Matt Huszagh
f2cb2c447d
kicad: add srcs parameter to allow configuring kicad versions
...
This also exposes the full src and version parameters for each
derivation, allowing them to overrideable by srcs.
2020-10-12 11:32:44 -07:00
Matt Huszagh
9d13164b27
kicad: Rename <feature>Support
arguments to with<Feature>
...
Also: Use assertions instead of silently ignoring arguments that don't cooperate
(occ+oce) / won't compile (aarch64 + oce).
base.nix no longer provides default argument values since these are
provided by default.nix.
2020-10-12 11:32:04 -07:00
Anderson Torres
e61c9d185d
Merge pull request #100193 from AndersonTorres/big-upload
...
A bunch of updates
2020-10-12 08:48:52 -03:00
AndersonTorres
69c14beb04
gp2c: 0.0.11pl3 -> 0.0.11pl4
2020-10-12 04:07:03 -03:00
AndersonTorres
781753db45
pari: 2.11.3 -> 2.11.4
2020-10-12 04:07:03 -03:00
Claudio Bley
0f6b8b7964
fritzing: 0.9.3b -> 0.9.4
...
Notes:
* fritzing still needs an older version of libgit2
* releases no longer directly correspond to tags in the git repository, they are
using build numbers instead
* the fritzing-parts repository is no longer versioned at all, the master branch
contains the latest stable release
* a `parts.db` file needs to be generated from the fritzing-parts files during
the build
2020-10-11 16:51:59 -07:00
Matt Huszagh
937c2597d9
ngspice: 31 -> 32
2020-10-11 16:10:33 +02:00
Wulfsta
77143fc628
mathematica: fix libQt errors
2020-10-11 15:49:11 +02:00
Gabriel Ebner
b03c6ef37d
Merge pull request #99503 from NieDzejkob/isabelle-z3-fix
2020-10-11 12:39:09 +02:00
Matt Huszagh
85d5195f70
kicad: remove unnecessary with lib; statements
2020-10-10 16:22:04 -07:00
Jan Tojnar
aabcf2d8f5
Merge branch 'master' into staging-next
2020-10-11 00:27:21 +02:00
Matt Huszagh
e2fea84597
kicad: clarify wrapGAppsHook comment
2020-10-10 15:15:43 -07:00
Matt Huszagh
b3e2b523e5
kicad: reformat with nixpkgs-fmt
2020-10-10 12:53:09 -07:00
Vladimír Čunát
338b25697c
Merge branch 'master' into staging-next
...
Quite many rebuilds from master:
> Estimating rebuild amount by counting changed Hydra jobs.
> 3926 x86_64-darwin
> 4645 x86_64-linux
2020-10-10 11:32:10 +02:00
Doron Behar
967a01f206
Merge pull request #100065 from matthuszagh/kicad
2020-10-10 12:28:09 +03:00
Daniel Schaefer
384470e23f
Merge pull request #99964 from guserav/horizon-eda
...
horizon-eda: init at 1.2.1
2020-10-10 11:49:07 +08:00
guserav
6a4c1972a2
horizon-eda: init at 1.2.1
...
Mostly based on #86694 by yrashk
2020-10-09 19:57:38 +02:00
Matt Huszagh
104aca941a
kicad-unstable: 2020-08-22 -> 2020-10-09
...
base.nix requires gtk3 to compile
2020-10-09 07:36:42 -07:00
Matt Huszagh
b67afd8a44
kicad: modify update script to use gitlab for libraries
...
Kicad libraries are now hosted on gitlab instead of github.
2020-10-09 07:36:41 -07:00
Frederik Rietdijk
ec28e32c9e
Merge master into staging-next
2020-10-08 21:47:26 +02:00
Dmitry Kalinkin
b0486f3171
pythia: 8.244 -> 8.303
2020-10-07 20:28:19 -04:00
Ben Darwin
e673c285e1
conglomerate: update LIBMINC_DIR to reflect libminc CMake changes
2020-10-06 15:31:18 -04:00
Ben Darwin
44f2bf87d6
EZminc: update LIBMINC_DIR to reflect libminc CMake changes
2020-10-06 15:31:18 -04:00
Ben Darwin
83d0571ae6
mni_autoreg: update LIBMINC_DIR due to CMake changes in libminc
2020-10-06 15:31:17 -04:00
Ben Darwin
9a190786a4
n3: 2017-09-18 -> 2018-08-09
...
- update LIBMINC_DIR and EBTKS_DIR due to CMake updates in those packages
2020-10-06 15:31:16 -04:00
Ben Darwin
7772e248ab
inormalize: update LIBMINC_DIR and dependencies due to libminc update
2020-10-06 15:31:16 -04:00
Ben Darwin
91a429a148
minc_tools: unstable-2019-12-04 -> unstable-2020-07-25
2020-10-06 15:31:14 -04:00
Frederik Rietdijk
692d219a93
Merge staging-next into staging
2020-10-06 10:25:58 +02:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle
2020-10-03 21:32:22 +02:00
Justin Bedo
d8d8f9390a
delly: 0.8.2 -> 0.8.5
2020-10-01 18:09:53 +10:00
Anderson Torres
5e99485b3d
Merge pull request #99214 from bcdarwin/update-mrtrix
...
mrtrix: 3.0.0 -> 3.0.2
2020-10-01 01:14:54 -03:00
Ben Darwin
a94d0fe675
mrtrix: 3.0.0 -> 3.0.2
2020-09-30 22:13:18 -04:00
Vincent Laporte
cc739e1c67
ocamlPackages.z3: init at 4.8.9
2020-09-30 22:03:17 +02:00
Jan Tojnar
32b4375f10
Merge branch 'staging-next' into staging
2020-09-29 00:12:29 +02:00
Dmitry Kalinkin
dd57dcf2a5
stellarium: enable on darwin
2020-09-27 17:00:10 -04:00
Maximilian Bosch
b8d1e39a28
stellarium: 0.20.2 -> 0.20.3
...
https://github.com/Stellarium/stellarium/releases/tag/v0.20.3
2020-09-27 22:09:36 +02:00
Matt Huszagh
6b9481607b
openems: init at unstable-2020-02-15
2020-09-27 11:32:27 -07:00
Robert Scott
8db3ea1ef1
Merge pull request #98614 from r-burns/aragorn
...
aragorn: fix build on darwin
2020-09-25 19:58:10 +01:00
Dmitry Kalinkin
7867aafa51
Merge pull request #97613 from drewrisinger/zhf/verilog
...
verilog: cleanup & test
2020-09-25 10:37:34 -04:00
R. RyanTM
e66a7e2fb7
cytoscape: 3.8.0 -> 3.8.1
2020-09-25 04:38:49 +00:00
Jan Tojnar
d471c5d1f3
Merge branch 'staging-next' into staging
2020-09-24 23:09:00 +02:00
R. RyanTM
0765b507f9
jmol: 14.31.2 -> 14.31.3
2020-09-23 23:36:41 -07:00
Ryan Burns
6cc2d3e6f2
aragorn: fix build on darwin
...
Use environment-specified $CC for C compiler
2020-09-23 20:45:21 -07:00
Ryan Mulligan
dfd2eeabd6
Merge pull request #69644 from bzizou/obitools
...
obitools3: init at 3.0.0-beta14
2020-09-23 19:04:11 -07:00
Doron Behar
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
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