Vincent Laporte
c5556b7454
coq_8_12: 8.12.1 → 8.12.2
2020-12-16 07:45:54 +01:00
Vincent Laporte
de8205f8bb
coq_8_13: init at 8.13+β1
2020-12-15 21:13:40 +01:00
Mauricio Collares
8100c5a44b
sage: 8.9 -> 9.2 fixups
2020-12-15 16:51:42 -03:00
Mauricio Collares
8b8cae779f
pari: update tarball location, since it moved
2020-12-15 16:46:43 -03:00
Mauricio Collares
4058e45736
nauty: update tarball sha256
...
The old `nauty` tarball is currently accessible at
https://distfiles.macports.org/nauty/nauty27r1.tar.gz . The diff is a
single line in genbg.c:
- SUMMARY(&nout,t2-t1);
+ SUMMARY(nout,t2-t1);
2020-12-15 16:46:43 -03:00
Mauricio Collares
cf6364bed2
pynac: import patch to avoid deprecation warnings on python3.8
2020-12-14 19:24:19 -03:00
Mauricio Collares
5df948d4cc
giac: 1.5.0-21 -> 1.5.0-87
2020-12-14 19:24:18 -03:00
Masanori Ogino
5c4136daf7
sage: 8.9 -> 9.2
2020-12-14 19:24:18 -03:00
Mario Rodas
7666fb25d0
Merge pull request #106856 from jbedo/delly
...
delly: 0.8.5 -> 0.8.6
2020-12-14 08:10:03 -05:00
Ryan Mulligan
41cdb14aac
Merge pull request #106611 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.23.8 -> 2.23.9
2020-12-13 15:28:16 -08:00
Justin Bedo
6ce06dccfc
delly: 0.8.5 -> 0.8.6
2020-12-14 09:55:57 +11:00
Robert Scott
d81a6bb6f2
hal-hardware-analyzer: 2.0.0 -> 3.1.9
2020-12-11 22:37:04 +00:00
Mario Rodas
8006772a05
Merge pull request #106612 from alyssais/cedille
...
cedille: 1.1.1 -> 1.1.2; fix build
2020-12-11 07:37:18 -05:00
Jörg Thalheim
a1cacefde5
Merge pull request #106480 from SCOTT-HAMILTON/spdlog
2020-12-11 07:45:06 +00:00
Sandro
f1e3b5160e
Merge pull request #103338 from hjones2199/siril
2020-12-11 07:35:23 +01:00
Hunter Jones
69741a7a48
siril: init at 0.99.6
2020-12-11 00:07:30 -06:00
Alyssa Ross
8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build
2020-12-10 23:07:32 +00:00
R. RyanTM
aa2148eb1f
picard-tools: 2.23.8 -> 2.23.9
2020-12-10 23:06:36 +00:00
SCOTT-HAMILTON
d98fae8072
Update pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix
...
Co-authored-by: Drew <drewrisinger@users.noreply.github.com>
2020-12-10 16:35:46 +01:00
SCOTT-HAMILTON
ddf90cb942
spdlog: use nixpkgs' fmt instead of bundled one
2020-12-10 10:47:00 +01:00
markuskowa
ba5c6f6075
Merge pull request #105133 from markuskowa/fix-gromacs
...
Gromacs: fix SIMD flags, and OpenMP
2020-12-08 09:10:38 +01:00
R. RyanTM
cec747d712
clingo: 5.4.0 -> 5.4.1
2020-12-07 13:03:03 +00:00
Ben Gamari
c98ce627d4
kicad-unstable: 2020-11-07 -> 2020-12-01 ( #105743 )
2020-12-03 19:17:32 -05:00
R. RyanTM
b3f3197266
mavproxy: 1.8.27 -> 1.8.29
2020-12-03 14:33:38 +00:00
Sandro
30cdc8be48
Merge pull request #105650 from r-ryantm/auto-update/gretl
...
gretl: 2020b -> 2020e
2020-12-02 20:22:27 +01:00
Ryan Mulligan
4ce30eb63a
Merge pull request #105672 from r-ryantm/auto-update/hmmer
...
hmmer: 3.3.1 -> 3.3.2
2020-12-02 05:45:57 -08:00
Austin Seipp
e601758166
abc-verifier: 2020.06.22 -> 2020.11.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-12-02 07:18:05 -06:00
Mario Rodas
d48bc3e815
Merge pull request #105654 from r-ryantm/auto-update/gmsh
...
gmsh: 4.7.0 -> 4.7.1
2020-12-02 05:15:45 -05:00
Austin Seipp
a3ae8a4fcf
Merge pull request #100750 from arcz/boolector
...
boolector: enable darwin build
2020-12-02 03:19:54 -06:00
R. RyanTM
6f50c5b18e
hmmer: 3.3.1 -> 3.3.2
2020-12-02 09:00:15 +00:00
R. RyanTM
cf89444f1e
gmsh: 4.7.0 -> 4.7.1
2020-12-02 05:50:47 +00:00
R. RyanTM
f9a694106b
gretl: 2020b -> 2020e
2020-12-02 04:45:07 +00:00
Ben Darwin
ee7d83e648
ants: unbreak on Darwin
2020-12-01 14:17:54 -05:00
Markus Kowalewski
e90cff90f1
openmolcas: fix hash
2020-11-30 23:05:14 +01:00
Justin Bedo
5fc6258043
bwa: expand supported platforms
2020-11-30 09:46:51 +11:00
Artur Cygan
da3c0ca0dd
boolector: fix darwin build
2020-11-29 22:31:54 +01:00
Artur Cygan
38e6f15d98
btor2tools: fix install_name on darwin
2020-11-29 22:31:31 +01:00
Vincent Laporte
8ee7c2505f
proverif: install emacs mode
2020-11-29 14:05:14 +01:00
Sandro
4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
...
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-11-29 04:01:21 +01:00
Sandro
2c0389680c
Merge pull request #90075 from dmrauh/add/gretl
...
gretl: init at 2020b
2020-11-28 22:10:05 +01:00
Dominik Michael Rauh
5f10cd5e0b
gretl: init at 2020b
2020-11-28 21:37:30 +01:00
Doron Behar
56a2c8bb22
Merge pull request #104171 from freezeboy/unbreak-dsview-qt515
...
dsview: 0.99 -> 1.12
2020-11-28 17:55:25 +02:00
Timo Kaufmann
819a2c571a
Merge pull request #105212 from r-ryantm/auto-update/jmol
...
jmol: 14.31.17 -> 14.31.18
2020-11-28 10:46:52 +01:00
R. RyanTM
e5f757954a
jmol: 14.31.17 -> 14.31.18
2020-11-28 06:51:19 +00:00
Sandro
85fe68bbc0
Merge pull request #105197 from r-ryantm/auto-update/igv
...
igv: 2.8.12 -> 2.8.13
2020-11-28 04:05:05 +01:00
R. RyanTM
212ba486d6
igv: 2.8.12 -> 2.8.13
2020-11-28 02:18:00 +00:00
Sandro
ec421ca248
Merge pull request #100532 from piegamesde/fix-desktopitems
...
treewide: Fix broken desktop files and mark packages as broken
2020-11-27 22:27:59 +01:00
Markus Kowalewski
58e1666a58
gromacs: fix SIMD flags, and OpenMP
...
* make CPU acceleration selectable.
* update cmake flag for acceleration CPU_ACCELERATION -> SIMD
GMX_CPU_ACCELERATION is outdated and has been ignored.
* add hwloc to inputs
* always build with OpenMP
* change name -> pname
2020-11-27 13:59:01 +01:00
Michael Raskin
3ed321dfab
z3: enable build on non-x86_64 unix; checked the build on aarch64-linux
2020-11-27 11:52:07 +01:00
Sandro
41408091bb
Merge pull request #105111 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.1 -> 3.3.2
2020-11-27 03:12:56 +01:00
R. RyanTM
b25018203b
workcraft: 3.3.1 -> 3.3.2
2020-11-27 01:53:34 +00:00
Sandro
6ecdb286b0
Merge pull request #101464 from Synthetica9/redirected-urls
...
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
2020-11-27 01:27:24 +01:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
2020-11-27 01:23:57 +01:00
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
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