Sandro
b08b773f24
Merge pull request #101807 from cheriimoya/pspp
...
pspp 1.2.0 -> 1.4.1
2020-11-27 00:35:16 +01:00
Gabriel Ebner
56ffa7a9e4
Merge pull request #105055 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.14.0 -> 3.15.0
2020-11-26 19:04:24 +01:00
R. RyanTM
8c1f644cc7
qalculate-gtk: 3.14.0 -> 3.15.0
2020-11-26 17:48:20 +00:00
Sandro
605ecee7de
Merge pull request #102200 from hjones2199/master
...
phd2: init at 2.6.9dev1
2020-11-26 02:28:06 +01:00
Sandro
c2d728f195
Merge pull request #102140 from SuperSandro2000/patch-2
2020-11-26 01:00:22 +01:00
Sandro
28cb61eb5d
Merge pull request #104933 from tadfisher/horizon-eda
...
horizon-eda: 1.2.1 -> 1.3.0
2020-11-26 00:45:09 +01:00
Sandro
d8b570e6c8
Merge pull request #98363 from jbedo/mosdepth
...
mosdepth: 0.2.9 -> 0.3.1
2020-11-25 23:55:47 +01:00
Sandro
e166f22759
tebreak: Fix tests
2020-11-25 21:36:38 +01:00
Sandro
5f2997686c
deeptools: Fix tests
2020-11-25 21:36:37 +01:00
Tad Fisher
40db868048
horizon-eda: 1.2.1 -> 1.3.0
2020-11-25 12:23:45 -08:00
Sandro
b73851877c
Merge pull request #104866 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.24 -> 1.8.27
2020-11-25 17:42:18 +01:00
R. RyanTM
3174ae1723
mavproxy: 1.8.24 -> 1.8.27
2020-11-25 05:57:05 +00:00
Hunter Jones
d14952311e
phd2: init at 2.6.9dev1
2020-11-24 21:31:58 -06:00
Sandro
ea49bac768
Merge pull request #99761 from fgaz/key/init
...
key: init at 2.6.3
2020-11-25 01:49:25 +01:00
Mazurel
880974a84d
qucs-s: init at 0.0.22
2020-11-24 19:24:38 +01:00
Graham Christensen
bc49a0815a
utillinux: rename to util-linux
2020-11-24 12:42:06 -05:00
Sandro
3da89983fd
Merge pull request #103590 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.0 -> 3.3.1
2020-11-24 02:07:43 +01:00
Sandro
b3f5ff2005
Merge pull request #103703 from r-ryantm/auto-update/gmsh
...
gmsh: 4.6.0 -> 4.7.0
2020-11-24 01:57:36 +01:00
Timo Kaufmann
e4af85f1d8
Merge pull request #104476 from refnil/pynac
...
pynac: use python3 instead of python2
2020-11-23 22:26:38 +01:00
R. RyanTM
3b17793827
star: 2.7.5c -> 2.7.6a
2020-11-23 20:40:05 +01:00
Sandro
b2219a326b
Merge pull request #101922 from penguwin/nextinspace
...
nextinspace: init at 1.0.6
2020-11-23 20:09:09 +01:00
Ryan Mulligan
5417bf80f5
Merge pull request #104395 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.23 -> 1.8.24
2020-11-21 19:42:33 -08:00
freezeboy
9950899236
xflr5: migrate to Qt5.15
...
rewrite without wrapQtAppsHook and stdenv
2020-11-20 22:24:19 +01:00
freezeboy
f2335a5d98
appcsxcad: migrate to Qt5.15
...
* remove useless wrapQtAppsHook
2020-11-20 22:24:18 +01:00
freezeboy
ed7a64c4ee
qcsxcad: migrate to Qt511 + additional cleanup
...
* Split into multiple outputs
* Rewrite the derivation without stdenv
2020-11-20 22:24:18 +01:00
Martin Lavoie
30afa507a3
pynac: use python3 instead of python2
2020-11-20 20:46:43 +01:00
R. RyanTM
4615d67ac6
mavproxy: 1.8.23 -> 1.8.24
2020-11-20 17:43:07 +00:00
Austin Seipp
00c451ad40
librepcb: touch ups, co-maintain
...
Fixes a bug where the build system tried to call `git` to embed the
release tag revision into the binary, which isn't allowed. Easily fixed
with `substituteInPlace`.
Also updates the expression to be a little closer to "standard"
expressions (e.g. consistent indentation, importing `stdenv` instead of
`lib` and `mkDerivation`, etc.)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-20 07:36:27 -06:00
R. RyanTM
26803925aa
ngspice: 32 -> 33
2020-11-19 22:57:08 -08:00
Dmitry Kalinkin
209480e580
Merge pull request #104103 from veprbl/pr/snakemake_5_28_0
...
snakemake: 5.19.3 -> 5.28.0
2020-11-19 20:37:25 -05:00
Ben Gamari
7263f7c433
mathematica: Prefer building locally ( #100856 )
...
There is little benefit to copying a 4GB tarball over the network,
just to perform an I/O-bound operation and then copy the
multi-gigabyte result back.
2020-11-19 19:42:22 -05:00
Timo Kaufmann
e04721b289
Merge pull request #104083 from timokau/sage-maintainers-team
...
maintainers: create sage team
2020-11-19 19:20:49 +01:00
Jörg Thalheim
72f6df338d
remove genesis maintainer
...
genesis has no longer access to github
2020-11-18 22:37:56 -08:00
R. RyanTM
5a4772e260
marvin: 20.19.0 -> 20.20.0
2020-11-18 21:03:39 +00:00
Timo Kaufmann
b7319d2d35
maintainers: add raskin to the sage team
...
https://github.com/NixOS/nixpkgs/pull/104083#issuecomment-729168625
2020-11-18 21:29:24 +01:00
Timo Kaufmann
ff8338343b
maintainers: create sage team
...
Maintaining all the packages whose updates might break some aspect of
sage.
For reference:
https://github.com/NixOS/nixpkgs/pull/103810#issuecomment-727536510
2020-11-18 21:27:37 +01:00
freezeboy
00b385c612
dsview: 0.99 -> 1.12
...
Adapted the patches and took a commit from upstream master branch to
allow the migration to Qt5.15.
Had to copy the patch because of the custom sourceRoot.
2020-11-18 15:36:11 +01:00
Dmitry Kalinkin
68e06c19d6
snakemake: 5.19.3 -> 5.28.0
2020-11-17 17:37:35 -05:00
Nicolas Martin
9af958340a
nextinspace: init at 1.0.6
2020-11-17 15:41:53 +01:00
Oleksii Filonenko
512c3c0a05
maintainers: rename filalex77 -> Br1ght0ne
2020-11-17 13:09:31 +02:00
Ryan Mulligan
80b6df2a17
Merge pull request #103525 from r-ryantm/auto-update/samblaster
...
samblaster: 0.1.24 -> 0.1.26
2020-11-16 19:03:03 -08:00
Austin Seipp
4b21cf786c
Merge pull request #102943 from prusnak/verilog
...
verilog: unstable-2020-08-24 -> 11.0
2020-11-15 21:19:22 -06:00
Anderson Torres
25afd6a3ec
Merge pull request #103768 from AndersonTorres/wip-antiprism
...
antiprism: init at 0.26
2020-11-15 19:43:57 -03:00
Vincent Laporte
2806eb2743
coq_8_12: 8.12.0 → 8.12.1
2020-11-15 12:03:15 +01:00
Ryan Mulligan
47fe890182
Merge pull request #103751 from r-ryantm/auto-update/last
...
last: 1133 -> 1145
2020-11-14 15:08:46 -08:00
Ryan Mulligan
306960bf1c
Merge pull request #103776 from r-ryantm/auto-update/MAVProxy
...
mavproxy: 1.8.22 -> 1.8.23
2020-11-14 13:34:35 -08:00
Pavol Rusnak
610d337764
vhd2vl: fix compatibility with verilog 11.0
2020-11-14 20:15:09 +01:00
Pavol Rusnak
960b4816a5
verilog: unstable-2020-10-24 -> 11.0
2020-11-14 20:15:09 +01:00
R. RyanTM
e3cf6e12bc
fahcontrol: 7.6.13 -> 7.6.21 ( #103677 )
2020-11-14 16:39:37 +00:00
R. RyanTM
68f44d990d
fahviewer: 7.6.13 -> 7.6.21 ( #103688 )
2020-11-14 16:39:20 +00:00
Mario Rodas
7408e58969
Merge pull request #103731 from r-ryantm/auto-update/igv
...
igv: 2.8.11 -> 2.8.12
2020-11-14 06:31:47 -05:00
Timo Kaufmann
99aab4ff25
Merge pull request #103749 from r-ryantm/auto-update/jmol
...
jmol: 14.31.14 -> 14.31.17
2020-11-14 09:53:01 +01:00
Timo Kaufmann
9a18684661
Merge pull request #103706 from r-ryantm/auto-update/gp2c
...
gp2c: 0.0.11pl4 -> 0.0.12
2020-11-14 09:52:34 +01:00
R. RyanTM
df7db2b3ed
mavproxy: 1.8.22 -> 1.8.23
2020-11-14 06:25:20 +00:00
AndersonTorres
f61b91cec4
antiprism: init at 0.26
2020-11-14 00:37:10 -03:00
R. RyanTM
a698dfa0a2
last: 1133 -> 1145
2020-11-13 23:30:53 +00:00
R. RyanTM
dd8591d752
jmol: 14.31.14 -> 14.31.17
2020-11-13 22:05:46 +00:00
R. RyanTM
82d1113013
igv: 2.8.11 -> 2.8.12
2020-11-13 18:25:51 +00:00
R. RyanTM
3457f85820
gp2c: 0.0.11pl4 -> 0.0.12
2020-11-13 14:37:53 +00:00
R. RyanTM
a36f37b778
gmsh: 4.6.0 -> 4.7.0
2020-11-13 14:19:59 +00:00
Austin Seipp
c1661fa7e1
magic-vlsi: 8.3.5 -> 8.3.80, co-maintain
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:03 -06:00
Austin Seipp
58a906a7bf
iverilog: unstable-2020-08-24 -> unstable-2020-10-24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:02 -06:00
R. RyanTM
8acd7a3540
workcraft: 3.3.0 -> 3.3.1
2020-11-12 10:54:47 +00:00
R. RyanTM
d1baaef83d
samblaster: 0.1.24 -> 0.1.26
2020-11-12 01:43:02 +00:00
R. RyanTM
f7485d07b5
lean: 3.21.0 -> 3.23.0
2020-11-11 15:16:44 -08:00
Gabriel Ebner
05d27ba19b
Merge pull request #103256 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.13.0 -> 3.14.0
2020-11-10 11:16:30 +01:00
R. RyanTM
3664e4929f
qalculate-gtk: 3.13.0 -> 3.14.0
2020-11-10 01:49:59 +00:00
Frederik Rietdijk
20f001c01e
Merge master into staging-next
2020-11-09 14:33:52 +01:00
Hunter Jones
5041cbc691
kstars: 2.9.8 -> 3.4.3
2020-11-09 12:21:31 +00:00
Luz
3bf8df2877
librepcb: 0.1.4 -> 0.1.5
2020-11-09 11:56:58 +00:00
Samuel Gräfenstein
22b73d1282
pkgs/*: add final newline to .nix files
2020-11-09 11:39:28 +00:00
Orivej Desh
0c75dfb732
convertall: init at 0.8.0 ( #103108 )
2020-11-09 01:45:09 +00:00
Masanori Ogino
88de0d7354
maxima: 5.42.2 -> 5.44.0 ( #102861 )
...
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.43.md
Reference: https://sourceforge.net/p/maxima/code/ci/master/tree/ChangeLog-5.44.md
Signed-off-by: Masanori Ogino <167209+omasanori@users.noreply.github.com>
2020-11-08 19:29:53 -05:00
markuskowa
428bea042e
Merge pull request #102296 from r-ryantm/auto-update/gromacs
...
gromacs: 2020.3 -> 2020.4
2020-11-08 11:31:54 +01:00
Evils
a52e974cff
kicad-unstable: 2020-10-09 -> 2020-11-07
...
patch for issue 72248 no longer applies
issue doesn't seem to occur without it anymore...
2020-11-07 16:29:52 +01:00
Evils
905134a79f
kicad: 5.1.7 -> 5.1.8
2020-11-07 16:29:52 +01:00
Evils
50ec961174
kicad: fix update.sh bootstrapping
...
it will now correctly build a version.nix file from scratch
2020-11-07 16:29:52 +01:00
Evils
756f36b554
kicad: 5.1.6 -> 5.1.7
2020-11-07 16:29:52 +01:00
Jan Tojnar
a821be7531
Merge branch 'master' into staging-next
2020-11-05 09:42:47 +01:00
Gabriel Ebner
8279979f38
lean: build olean files
2020-11-04 16:32:56 +01:00
Ryan Mulligan
ba3fc8bf47
Merge pull request #102707 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.23.4 -> 2.23.8
2020-11-04 06:11:08 -08:00
Frederik Rietdijk
10c57af49c
Merge staging-next into staging
2020-11-04 09:28:07 +01:00
R. RyanTM
6391d3c1b5
picard-tools: 2.23.4 -> 2.23.8
2020-11-04 04:53:50 +00:00
Ryan Mulligan
4ee1f7bc2c
Merge pull request #102582 from r-ryantm/auto-update/marvin
...
marvin: 20.17.0 -> 20.19.0
2020-11-03 14:56:38 -08:00
Kevin Cox
d7a0daf2a1
Merge pull request #102420 from freezeboy/remove-plink
...
plink: remove (broken since 2014)
2020-11-03 07:49:09 -05:00
Frederik Rietdijk
470f05cb5d
Merge staging-next into staging
2020-11-03 12:06:41 +01:00
R. RyanTM
aea6594c69
marvin: 20.17.0 -> 20.19.0
2020-11-03 04:38:29 +00:00
Mario Rodas
98bf2ceb68
Merge pull request #102464 from r-ryantm/auto-update/igv
...
igv: 2.8.9 -> 2.8.11
2020-11-02 18:21:36 -05:00
Timo Kaufmann
9560149052
Merge pull request #102479 from r-ryantm/auto-update/jmol
...
jmol: 14.31.3 -> 14.31.14
2020-11-02 19:31:29 +01:00
R. RyanTM
ccabae32dd
gtkwave: 3.3.106 -> 3.3.107
2020-11-02 08:26:41 -08:00
R. RyanTM
41e1c236bf
cytoscape: 3.8.1 -> 3.8.2
2020-11-02 08:20:13 -08:00
R. RyanTM
3d40283367
jmol: 14.31.3 -> 14.31.14
2020-11-02 12:07:07 +00:00
R. RyanTM
8ef46be2a4
igv: 2.8.9 -> 2.8.11
2020-11-02 10:16:32 +00:00
Pavol Rusnak
2c931312ce
treewide: simplify rev/repo arguments in src
...
+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
freezeboy
1f7e201e9e
plink: remove (broken since 2014)
2020-11-02 03:24:16 +01:00
R. RyanTM
036cec187c
ginac: 1.7.9 -> 1.8.0
2020-11-01 17:19:05 -08:00
Frederik Rietdijk
83dde6c52c
Merge staging-next into staging
2020-11-01 10:11:12 +01:00
R. RyanTM
afa6047e12
gromacs: 2020.3 -> 2020.4
2020-11-01 00:24:33 +00: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
Andreas Rammhold
db0fe5c3eb
Merge branch master into staging to fix eval error
...
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05
& eba8f542
.
2020-10-28 03:03:27 +01:00
Ben Siraphob
db74029e3e
treewide: remove package names from prefix of descriptions
2020-10-27 09:15:07 -07:00
Max Hausch
8fb91897f4
pspp 1.2.0 -> 1.4.1
2020-10-27 01:10:37 +01: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
Vladimír Čunát
336bc8283b
Re-Revert "Merge #101508 : libraw: 0.20.0 -> 0.20.2"
...
This reverts commit c778945806
.
I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
2020-10-26 08:19:17 +01: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
Guanpeng Xu
efe94c085b
mathematica: use opencv4
...
The default opencv2 is marked broken at 5e68d203
, and it is suggested
there that the current release is 4.x.
2020-10-21 08:36:54 +08: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
piegames
e14a359896
treewide: Fix broken desktop files and mark packages as broken
...
This fixes all packages that are failed `nixpkgs-review` in #91790 .
Packages that were broken prior to that PR were marked as broken.
Packages that failed because of #75729 were fixed.
2020-10-15 15:14:51 +02: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
Francesco Gazzetta
a302261318
key: init at 2.6.3
2020-10-06 17:37:23 +02: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
Justin Bedo
634927a402
mosdepth: 0.2.9 -> 0.3.1
2020-09-30 09:48:47 +10: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
Robert Scott
35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve
...
lp_solve: fix build
2020-09-13 11:00:26 +01:00
Vladimír Čunát
e78b52ede7
Merge #95089 : glibc: 2.31 -> 2.32 (into staging)
2020-09-13 08:26:14 +02:00
freezeboy
3fc3fd14cf
lp_solve: fix buildCommand some binaries moved
2020-09-13 03:51:51 +02:00
Maximilian Bosch
81cf190882
sherpa: fix build w/glibc-2.32
2020-09-12 23:04:48 +02:00
Maximilian Bosch
8984fc2994
xfitter: fix build w/glibc-2.32
2020-09-12 23:04:47 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9
2020-09-11 14:38:43 -05:00
Maximilian Bosch
56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update
...
maintainers: updates for badi/badmutex
2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05:00
Cole Helbling
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
for more information). Updating to a more recent version fixes this
issue.
2020-09-09 00:47:52 -07:00
Emery Hemingway
dc09e3edfc
nim: wrap compiler for cross-compilation support
2020-09-07 16:16:55 +02:00
Emery Hemingway
06ac3c1d2a
nim: patch to fix dynamic library loading
2020-09-07 16:16:55 +02:00
Vincent Laporte
2a82f71bed
proverif: 2.01 → 2.02pl1
2020-09-07 09:54:54 +02:00
Vladimír Čunát
0ecc8b9a56
Merge #97229 : picard-tools: 2.23.3 -> 2.23.4
2020-09-07 09:38:34 +02:00
R. RyanTM
1cd9dafce0
ott: 0.30 -> 0.31
2020-09-06 22:25:50 +01:00
Daniël de Kok
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
Ryan Mulligan
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
R. RyanTM
cc797c4ab8
star: 2.7.4a -> 2.7.5c
2020-09-05 18:44:51 +00:00
R. RyanTM
f47530237d
rink: 0.5.0 -> 0.5.1
2020-09-05 16:48:17 +00:00
R. RyanTM
1c368b0f13
picard-tools: 2.23.3 -> 2.23.4
2020-09-05 14:02:32 +00:00
voidless
721da4b5e2
geogebra6: 6-0-598-0 -> 6-0-600-0
2020-09-04 11:49:44 +02:00
Tom Repetti
10e5003d20
flatcam: init at 8.5
2020-09-03 14:19:59 -04:00
John Ericson
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
R. RyanTM
71d933e214
openhantek6022: 3.1.1 -> 3.1.2
2020-08-31 17:24:28 -07:00
worldofpeace
20252b3cb6
nasc: typo
2020-08-31 13:53:25 -04:00
worldofpeace
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
R. RyanTM
43114a1751
wxmaxima: 20.04.0 -> 20.06.6
2020-08-31 17:09:33 +02:00
R. RyanTM
73cff3d2c2
R: 4.0.0 -> 4.0.2
2020-08-31 16:57:06 +02:00
Mario Rodas
f7eb2883b5
lean: 3.18.4 -> 3.19.0
2020-08-29 04:20:00 +00:00
Maximilian Bosch
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
R. RyanTM
741b7f7b36
rofi-calc: 1.7 -> 1.8
2020-08-29 06:44:34 +00:00
Vincent Laporte
5e6eeb795c
alt-ergo: 2.3.2 → 2.3.3
2020-08-29 06:21:23 +02:00
R. RyanTM
ee4c871ecd
marvin: 20.16.0 -> 20.17.0
2020-08-26 12:52:34 +00:00
Henri Menke
e1f177fab2
mathematica: 12.1.0 -> 12.1.1
2020-08-24 11:36:59 +12:00
Silvan Mosberger
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
scalavision
78e89143d4
igv: 2.4.19 -> 2.8.9
...
Co-Authored-By: Silvan Mosberger <contact@infinisil.com>
2020-08-23 19:23:04 +02:00
Austin Seipp
7cb1f36513
verilator: 4.036 -> 4.040
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Austin Seipp
1e451da386
mcy: 2020.07.06 -> 2020.08.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Austin Seipp
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Evils
3ebb12a695
kicad-unstable: 2020-07-21 -> 2020-08-22
2020-08-23 13:24:16 +02:00
Evils
c761c60431
kicad: reenable scriptingSupport
...
94108 fixed the wxPython dependency
2020-08-23 13:24:16 +02:00
Evils
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
Gabriel Ebner
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
Lassulus
15d98507ee
Merge pull request #87224 from Sohalt/isabelle
...
isabelle: 2018 -> 2020
2020-08-23 11:28:53 +02:00
Gabriel Ebner
294ddd8e9f
qalculate-gtk: explain pkg-config issue
2020-08-23 11:13:06 +02:00
Daniël de Kok
0d2d55f16b
Merge pull request #86807 from matthuszagh/vhd2vl
...
vhd2vl: init
2020-08-22 20:19:43 +02:00
Gabriel Ebner
a3ce3f5931
qalculate-gtk: fix parallel build
2020-08-22 19:06:43 +02:00
Matt Huszagh
38aadfbbad
vhd2vl: init at unstable-2018-09-01
2020-08-22 09:42:34 -07:00
Gabriel Ebner
55af730da0
Merge pull request #95999 from gebner/calculix217
...
calculix: 2.15 -> 2.17
2020-08-22 18:26:02 +02:00
Gabriel Ebner
294cd72be3
qalculate-gtk: 3.8.0a -> 3.12.1
2020-08-22 17:14:25 +02:00
Gabriel Ebner
214d7626e1
calculix: 2.15 -> 2.17
2020-08-22 17:12:30 +02:00
Daniël de Kok
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
Lassulus
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
R. RyanTM
55d5e762d0
hyp2mat: 0.0.17 -> 0.0.18
2020-08-22 09:25:47 +00:00
R. RyanTM
60a133f5d1
adms: 2.3.6 -> 2.3.7
2020-08-21 21:04:44 -07:00
Thomas Tuegel
616dd214d1
z3: add ttuegel to maintainers
2020-08-21 19:05:55 -07:00
Thomas Tuegel
1f512d7804
z3: 4.8.7 -> 4.8.8
2020-08-21 19:05:55 -07:00
Lassulus
de25713886
Merge pull request #91647 from jbedo/whisper
...
whisper: init at 2.0.1
2020-08-21 18:09:35 +02:00
Mario Rodas
f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 ( #95849 )
2020-08-21 10:52:11 +02:00
Lassulus
8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba
...
ltl2ba: 1.2 -> 1.3
2020-08-20 23:02:41 +02:00
freezeboy
531cf77114
labelImg: 1.8.1 -> 1.8.3
...
Switch to python3 and qt5 libraries also
2020-08-20 21:08:39 +02:00
Daniël de Kok
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
Gabriel Ebner
7f31fe9ea6
vampire: 4.4 -> 4.5.1
2020-08-17 19:39:32 +02:00
Daniël de Kok
67c88680f9
Merge pull request #95616 from lopsided98/qgroundcontrol-update
...
qgroundcontrol: 4.0.9 -> 4.0.10
2020-08-17 08:00:41 +02:00
Mario Rodas
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
Ben Wolsieffer
5c78ba8ef6
qgroundcontrol: 4.0.9 -> 4.0.10
2020-08-16 15:28:55 -04:00
voidIess
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
Justin Bedo
20c8945467
hisat2: 2.1.0 -> 2.2.1
2020-08-16 13:30:53 +00:00
Daniël de Kok
3ab2bf69ce
Merge pull request #85330 from chkno/openmvg
...
openmvg: 1.3 -> 1.5 (unbreak)
2020-08-16 09:39:38 +02:00
Scott Worley
05a16be9c5
openmvg: 1.3 -> 1.6 (unbreak)
2020-08-16 08:35:54 +02:00
zowoq
473536e3b5
buildRustPackage: remove platform.all from packages
2020-08-16 12:48:18 +10:00
R. RyanTM
2f9ceb5416
gtkwave: 3.3.105 -> 3.3.106
2020-08-15 15:25:15 -07:00
Rohit Goswami
620f9049ae
d-seams: init at 1.0.1
2020-08-15 19:36:04 +00:00
Lorenz Leutgeb
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
R. RyanTM
afb809f30b
kssd: 1.0 -> 1.1
2020-08-14 15:06:11 +00:00
Vladyslav M
3d1956ad34
Merge pull request #95062 from cryptix/update-aliza
...
aliza: 1.48.10 -> 1.98.32
2020-08-13 22:47:05 +03:00
Daniël de Kok
01a69537df
Merge pull request #93613 from baracoder/init-openhantek6022
...
openhantek6022: init at 3.1.1
2020-08-11 17:33:16 +02:00
Matt Huszagh
93e5e9e22d
appcsxcad: init at unstable-2020-01-04
2020-08-10 23:45:59 -07:00
Matt Huszagh
dad6b637c2
qcsxcad: init at unstable-2020-01-04
2020-08-10 21:39:57 -07:00
Henry
eeea325e64
aliza: 1.48.10 -> 1.98.32
2020-08-10 11:16:16 +02:00
Ryan Mulligan
ea39525ae7
Merge pull request #94779 from r-ryantm/auto-update/marvin
...
marvin: 20.15.0 -> 20.16.0
2020-08-09 12:45:42 -07:00
Jonathan Ringer
23d6cd325f
root: don't propagated python interpreter
2020-08-09 10:44:15 -07:00
Vincent Laporte
b8dfca143c
coq_8_12: 8.12+β1 → 8.12.0
...
coqPackages.equations: 1.2.2 → 1.2.3
2020-08-08 06:33:08 +02:00
Markus Kowalewski
6c2f1e7f6b
octopus: 9.2 -> 10.0
2020-08-07 12:53:54 +02:00
Brandon Black
bceadafba3
fritzing: use Qt's mkDerivation ( #89117 )
2020-08-06 23:24:25 +02:00
Matt Huszagh
4390d9b9f1
hyp2mat: init at 0.0.17
2020-08-06 10:22:06 -07:00
R. RyanTM
4e6f70eaf8
marvin: 20.15.0 -> 20.16.0
2020-08-06 10:10:49 +00:00
Matt Huszagh
e74a6bcc20
csxcad: init at unstable-2020-02-08
2020-08-05 19:27:28 -07:00
volth
cf7b63df5b
gcc.arch: refactor, move tables under lib/
2020-08-05 11:18:26 +00:00
Daniël de Kok
d65ff81450
Merge pull request #93954 from danieldk/finalfusion-utils
...
finalfusion-utils: init at 0.11.2
2020-08-05 13:03:18 +02:00
Vincent Laporte
390769312d
coq_8_5: fix build (use gnumake 4.2)
2020-08-03 07:46:20 +02:00
Ryan Mulligan
393d3338f9
Merge pull request #94545 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.23.1 -> 2.23.3
2020-08-02 15:23:56 -07:00
R. RyanTM
44181da7b7
picard-tools: 2.23.1 -> 2.23.3
2020-08-02 10:04:36 +00:00
R. RyanTM
7fc1e676ea
lean: 3.16.5 -> 3.18.4
2020-08-02 04:55:59 +00:00
Gabriel Ebner
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover
...
eprover: 2.4 -> 2.5
2020-08-01 11:12:37 +02:00
John Ericson
ef81828143
Merge pull request #94047 from kmicklas/fix-gplates
...
gplates: 2.0.0 -> 2.2.0, unbreak
2020-07-31 19:57:01 -04:00
R. RyanTM
202ce2d867
eprover: 2.4 -> 2.5
2020-07-31 23:35:12 +00:00
Yurii Rashkovskii
cc8369c461
why3: 1.2.1 -> 1.3.1
...
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
2020-07-30 23:05:08 +02:00
Herman Fries
956d35b990
openhantek6022: init at 3.1.1
2020-07-29 22:04:07 +02:00
Dmitry Kudriavtsev
345949594f
maintainers: update name to anna
2020-07-28 19:48:16 -07:00
Mario Rodas
703b8ef3f3
Merge pull request #94091 from r-ryantm/auto-update/hmmer
...
hmmer: 3.3 -> 3.3.1
2020-07-28 14:04:04 -05:00
Mario Rodas
552a1f9278
itsx: enable on darwin
2020-07-28 13:48:55 -05:00
Mario Rodas
b7c9ca336f
hmmer: enable on darwin
2020-07-28 13:47:34 -05:00
R. RyanTM
58e7ed9d56
hmmer: 3.3 -> 3.3.1
2020-07-28 16:39:23 +00:00
Ken Micklas
7ae6e51bd4
gplates: 2.0.0 -> 2.2.0, unbreak
2020-07-27 20:54:18 -04:00
Daniël de Kok
655d902909
finalfrontier: 0.9.3 -> 0.9.4
...
Changelog:
https://github.com/finalfusion/finalfrontier/releases/tag/0.9.4
2020-07-27 11:02:09 +02:00
Daniël de Kok
2e97f552fd
finalfusion-utils: init at 0.11.2
2020-07-27 10:00:47 +02:00
Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump
...
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-26 22:50:14 +03:00
Daniël de Kok
0f9afb2716
Merge pull request #92253 from danieldk/finalfrontier
...
finalfrontier: init at 0.9.3
2020-07-26 08:34:49 +02:00
Peter Simons
b4dd96b206
sad: mark package as broken because if depends on dropped ghc-8.4.4
...
Ping @schmitthenner.
2020-07-24 13:06:29 +02:00
Maximilian Bosch
a83e2e3662
Merge pull request #93742 from Xitian9/geogebra
...
geogebra: 5-0-574-0 -> 5-0-593-0
2020-07-24 11:34:38 +02:00
Evils
b6863cbfe7
kicad: fix build
...
disable scripting support as 92261 broke wxPython_4_0
and i haven't managed to get wxPython 4.1 to work
something caused makeWrapper to have to be added on its own
not sure where it came from before...
and some cleanup
2020-07-24 03:26:00 -04:00
Evils
e842233678
kicad-unstable: 2020-05-14 -> 2020-07-21
2020-07-24 03:26:00 -04:00
Stephen Morgan
d9e6338fec
geogebra: 5-0-574-0 -> 5-0-593-0
2020-07-24 15:11:42 +10:00
Daniël de Kok
4dd9423b05
finalfrontier: init at 0.9.3
2020-07-23 10:05:33 +02:00
Robert Scott
fd5c0b94b2
Merge pull request #76960 from risicle/ris-hal-hardware-analyzer
...
hal-hardware-analyzer: init at 2.0.0
2020-07-21 22:08:05 +01:00
Daniël de Kok
622150e873
Merge pull request #93429 from danieldk/sortmerna-4.2.0
...
sortmerna: 3.0.3 -> 4.2.0
2020-07-21 09:34:01 +02:00
Robert Scott
d2d921b763
hal-hardware-analyzer: init at 2.0.0
2020-07-20 22:35:00 +01:00
Daniël de Kok
5bb161af08
Merge pull request #93351 from alyssais/gfan
...
gfan: fix clang build on non-Darwin
2020-07-19 10:23:13 +02:00
Daniël de Kok
dee4befc78
Merge pull request #93406 from lsix/add-gnu-gama
...
gama: init at 2.09
2020-07-19 08:49:37 +02:00
Lancelot SIX
9eccd6417a
gama: init at 2.09
2020-07-18 18:58:22 +01:00
Gabriel Ebner
3ffc16a834
Merge pull request #93375 from MrChico/cvc4_1.8
...
cvc4: 1.6 -> 1.8
2020-07-18 18:48:12 +02:00
Daniël de Kok
56c841393a
sortmerna: 3.0.3 -> 4.2.0
...
- Fixes build against rocksdb 6.10.2
- Use dynamic rocksdb and zlib libraries
- Build a dynamic binary
2020-07-18 18:06:23 +02:00
Martin Lundfall
424936ed33
cvc4: 1.6 -> 1.8
...
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Update pkgs/applications/science/logic/cvc4/default.nix
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2020-07-18 17:48:10 +02:00
Vladyslav M
2076487221
rink: 0.4.5 -> 0.5.0
2020-07-18 13:30:05 +03:00
Keshav Kini
b28d329c62
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07:00
Alyssa Ross
8f5eaa6deb
gfan: fix clang build on non-Darwin
...
-fno-guess-branch-probability isn't a Darwin-specific thing, it's a
clang-specific thing.
2020-07-17 15:30:24 +00:00
Ryan Mulligan
891e3cb973
Merge pull request #92575 from r-ryantm/auto-update/seaview
...
seaview: 5.0.2 -> 5.0.4
2020-07-15 21:23:13 -07:00
markuskowa
7204d9aa36
Merge pull request #93042 from r-ryantm/auto-update/gromacs
...
gromacs: 2020.2 -> 2020.3
2020-07-13 13:52:28 +02:00
R. RyanTM
215011c44d
gromacs: 2020.2 -> 2020.3
2020-07-13 07:11:49 +00:00
Daniël de Kok
a36e044be2
Merge pull request #92957 from lopsided98/qgroundcontrol-update
...
qgroundcontrol: 4.0.8 -> 4.0.9
2020-07-12 07:37:29 +02:00