Commit Graph

3845 Commits

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