Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Mario Rodas
8e537ad391
lean: 3.7.2 -> 3.8.0
2020-04-09 10:40:00 -05:00
Matt Huszagh
fc66192b37
fparser: init at 4.5.1
2020-04-09 11:28:21 -07:00
Jonathan Ringer
3238302827
libpoly: fix src
2020-04-09 11:22:53 -07:00
R. RyanTM
f4a9fe36fa
libpoly: 0.1.7 -> 0.1.8
2020-04-09 10:29:28 -07:00
Timo Kaufmann
b72fd98789
Merge pull request #84666 from jonringer/repofy-palp
...
palp: correct metadata for repology
2020-04-08 11:44:33 +00:00
Gabriel Ebner
e71c0d80a1
Merge pull request #84583 from r-ryantm/auto-update/qalculate-gtk
...
qalculate-gtk: 3.8.0 -> 3.8.0a
2020-04-08 11:01:33 +02:00
Vincent Laporte
f4ff33cce6
alt-ergo: 2.3.1 → 2.3.2
2020-04-08 10:23:48 +02:00
Jonathan Ringer
f89b76d9db
palp: correct metadata for repology
2020-04-07 14:08:03 -07:00
R. RyanTM
67ea5a0081
qalculate-gtk: 3.8.0 -> 3.8.0a
2020-04-07 10:29:32 +00:00
Mario Rodas
c9ce292597
Merge pull request #84383 from r-ryantm/auto-update/gmsh
...
gmsh: 4.5.4 -> 4.5.6
2020-04-05 20:03:05 -05:00
R. RyanTM
b43965986f
gmsh: 4.5.4 -> 4.5.6
2020-04-05 19:28:16 +00:00
Vincent Laporte
d6a8d0ca5b
coq_8_11: 8.11.0 → 8.11.1
2020-04-05 15:32:32 +02:00
Frederik Rietdijk
866c5aa090
Merge master into staging-next
2020-04-05 08:33:39 +02:00
Jan Tojnar
418628e162
dsview: fix build
...
It was using libusb-compat instead of libusb1, and the former no longer propagates the latter.
2020-04-05 01:13:14 +02:00
Timo Kaufmann
02b1f2a2de
Merge pull request #83224 from shnarazk/cadical-pr
...
cadical: init at 1.2.1
2020-04-04 15:44:04 +00:00
Narazaki, Shuji
c5a12e33d2
cadical: init at 1.2.1
2020-04-05 00:22:36 +09:00
Jan Tojnar
08cf27e5d9
libsigrok4dsl: fix build
...
It was using libusb-compat instead of libusb1, and the former no longer propagates the latter.
2020-04-04 10:50:34 +02:00
Dmitry Kalinkin
99a236b477
Merge pull request #83914 from cgevans/gwyddion-darwin
...
gwyddion: support darwin
2020-04-01 21:44:21 -04:00
Constantine Glen Evans
cacbbe92bf
gwyddion: add darwin support
...
Gwyddion will build on Darwin, but gnome2.gtkglext is broken there,
and so I am disabling it as an optional dependency here when building
on Darwin.
2020-04-01 17:50:36 -07:00
R. RyanTM
92c8881358
picard-tools: 2.22.0 -> 2.22.2
2020-04-01 17:29:55 +00:00
Timo Kaufmann
83fd89945d
Merge pull request #79661 from luc65r/pkg/cemu
...
cemu: init at 1.3
2020-03-31 15:17:33 +00:00
R. RyanTM
3017e6989f
deeptools: 3.3.1 -> 3.4.1
2020-03-30 21:47:32 -07:00
R. RyanTM
cff5adc2fb
snakemake: 5.10.0 -> 5.13.0 ( #83839 )
2020-03-31 00:39:00 -04:00
R. RyanTM
bd245a755f
stacks: 2.41 -> 2.52
2020-03-30 16:13:02 -07:00
Ryan Mulligan
d8c21cb4bc
Merge pull request #83746 from r-ryantm/auto-update/marvin
...
marvin: 20.6.0 -> 20.9.0
2020-03-30 06:14:11 -07:00
R. RyanTM
1d349b8512
marvin: 20.6.0 -> 20.9.0
2020-03-30 04:02:45 +00:00
luc65r
8edd400bfb
rofi-calc: init at 1.6 ( #83136 )
...
Also:
* maintainers: add albakhamj
* maintainers: add luc65r
* rofi: add plugins argument to wrapper
Co-authored-by: Maciej Krüger <mkg20001@gmail.com>
2020-03-30 01:18:56 +02:00
Maximilian Bosch
9e7c54325e
stellarium: 0.19.3 -> 0.20.0
...
https://github.com/Stellarium/stellarium/releases/tag/v0.20.0
2020-03-29 17:56:35 +02:00
Jörg Thalheim
d04396da8b
Merge pull request #82852 from Mic92/cross-build-rust-package
...
[WIP] buildRustPackage: enable strictDeps
2020-03-29 14:07:07 +01:00
Guanpeng Xu
d2702c915f
mathematica: 12.0.0 -> 12.1.0
2020-03-29 14:38:33 +02:00
Jörg Thalheim
e841dce44a
rink: fix strict deps build
2020-03-29 12:37:25 +01:00
Constantine Glen Evans
59fbc7acba
gwyddion: 2.48 -> 2.55 (and add options)
...
Gwyddion has a large number of optional dependencies. In this update,
those dependencies have been added with options set mostly to true,
and an option (default false) for working Python 2.7 support in the
program and in Python has been added. I have also added myself as a
maintainer as no maintainer is currently set.
2020-03-27 10:56:00 -07:00
Ryan Mulligan
c669d2991b
Merge pull request #83464 from r-ryantm/auto-update/last
...
last: 1047 -> 1060
2020-03-27 07:34:18 -07:00
R. RyanTM
bd3fbef804
last: 1047 -> 1060
2020-03-27 04:12:41 +00:00
Ryan Mulligan
8c5f9d0200
Merge pull request #83390 from r-ryantm/auto-update/seaview
...
seaview: 5.0 -> 5.0.2
2020-03-26 03:10:56 -07:00
R. RyanTM
4a3ea14b5b
seaview: 5.0 -> 5.0.2
2020-03-26 00:25:29 +00:00
Austin Seipp
517fd073fc
xcircuit: 3.9.73 -> 3.10.12, maintain
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 17:46:15 -05:00
Austin Seipp
765b2fd866
mcy: 2020.03.16 -> 2020.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp
4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Vincent Laporte
618bca7054
alt-ergo: 2.3.0 → 2.3.1
2020-03-24 20:43:06 -04:00
Mario Rodas
b2df6d541d
lean: 3.7.0 -> 3.7.2
2020-03-22 04:20:00 -05:00
Mario Rodas
baeb670ce2
Merge pull request #82610 from r-ryantm/auto-update/eagle
...
eagle: 9.5.2 -> 9.6.0
2020-03-20 06:21:30 -05:00
Vincent Laporte
8dddd8a07f
ocamlPackages.camlp5: 7.10 → 7.11
2020-03-19 18:04:14 -07:00
Claudio Bley
39767f8ae5
foldingathome: Make FAHControl be able to start the FAHViewer ( #82925 )
...
The command to run when clicking the button is configurable, but by default it
tries to run `FAHViewer`.
2020-03-19 13:05:54 +00:00
Austin Seipp
2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16
...
Now with working web UI dashboard -- but no working GUI (yet!)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp
5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp
9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
...
- Bump `abc-verifier` (2020.03.05)
- Install `yosys-abc` symlink for tool compatbility
- Various `yosys` expression cleanups
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Dmitry Kalinkin
ebe5f10794
kicad: don't build versions with 3d on Hydra
...
The hydraPlatforms have to be set on the kicad package itself, that can be
checked using:
echo ":p { inherit kicad kicad-small kicad-unstable; }" | nix repl ./pkgs/top-level/release.nix
This commit disables build of all kicad variants that require downloading
packages3d, which currently fail on hydra with the "Output limit exceeded"
status. This leaves Hydra with only building the kicad-small, which will allow
us to cache the build of kicad-base as well as all libraries except of
packages3d.
2020-03-16 19:45:04 -04:00
Dmitry Kalinkin
68db99ad97
snakemake: 5.9.1 -> 5.10.0
2020-03-14 15:58:24 -07:00