R. RyanTM
036cec187c
ginac: 1.7.9 -> 1.8.0
2020-11-01 17:19:05 -08:00
Vincent Laporte
8cab21b48b
Revert "coq: propagate and install ocaml and findlib"
...
This reverts commit 5d0e2dedd5
.
2020-10-31 09:08:06 +01:00
Justin Bedo
32573f4b6e
last: 1066 -> 1133
2020-10-31 10:59:02 +11:00
Maximilian Bosch
952dc5c7ff
Merge pull request #101421 from sikmir/geogebra
...
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0
2020-10-30 23:39:37 +01:00
Renato Alves
6e19ed0a52
lumpy: 0.3.0 -> 0.3.1
2020-10-30 01:28:00 +01:00
Renato Alves
a28e5b0a4f
samtools: 1.10 -> 1.11
2020-10-29 18:27:22 +01:00
Ben Siraphob
db74029e3e
treewide: remove package names from prefix of descriptions
2020-10-27 09:15:07 -07:00
Masanori Ogino
40fb3ed6dc
maxima: remove 5.41.0
...
It had been kept for SageMath, but it uses the default version nowadays
and this version is not referenced in nixpkgs.
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-10-27 06:09:12 +09:00
Maximilian Bosch
61fa498994
Merge pull request #101646 from luc65r/pkg/rofi-calc
...
rofi-calc: 1.8 -> 1.9
2020-10-26 16:36:43 +01:00
Ryan Mulligan
4fce633319
Merge pull request #101716 from r-ryantm/auto-update/openhantek6022
...
openhantek6022: 3.1.2 -> 3.1.3
2020-10-26 05:43:38 -07:00
R. RyanTM
250757970b
openhantek6022: 3.1.2 -> 3.1.3
2020-10-26 00:37:51 +00:00
Peter Simons
40bc6c8dad
Merge pull request #100393 from matthiasbeyer/update-r
...
R: 4.0.2 -> 4.0.3
2020-10-25 21:57:03 +01:00
Lucas Ransan
2436e41916
rofi-calc: 1.8 -> 1.9
2020-10-25 14:31:57 +01:00
Vladimír Čunát
c778945806
Revert "Merge #101508 : libraw: 0.20.0 -> 0.20.2"
...
I'm sorry; I didn't notice it contained staging commits.
This reverts commit 17f5305b6c
, reversing
changes made to a8a018ddc0
.
2020-10-25 09:41:51 +01:00
Vladimír Čunát
17f5305b6c
Merge #101508 : libraw: 0.20.0 -> 0.20.2
2020-10-25 09:28:53 +01:00
Nikolay Korotkiy
a2472ebfb1
geogebra: 5-0-593-0 -> 5-0-609-0, geogebra6: 6-0-600-0 -> 6-0-609-0
2020-10-23 19:25:11 +03:00
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