Felix Buehler
|
e578d45c10
|
diamond: switch to fetchFromGitHub
|
2021-12-23 19:11:17 +01:00 |
|
Felix Buehler
|
865eee2b26
|
kssd: switch to fetchFromGitHub
|
2021-12-23 19:11:17 +01:00 |
|
Felix Buehler
|
2f4a86e7d7
|
messer-slim: switch to fetchFromGitHub
|
2021-12-23 19:11:17 +01:00 |
|
Felix Buehler
|
e1bd890fb0
|
niftyseg: switch to fetchFromGitHub
|
2021-12-23 19:11:17 +01:00 |
|
Felix Buehler
|
cb448459d0
|
potassco: switch to fetchFromGitHub
|
2021-12-23 19:11:17 +01:00 |
|
Justin Bedo
|
fa6244b712
|
picard-tools: 2.26.6 -> 2.26.9
|
2021-12-22 22:20:36 +11:00 |
|
Kierán Meinhardt
|
4bff3d7346
|
astrolog: init at 7.30
|
2021-12-21 22:24:48 +01:00 |
|
Felix Buehler
|
f4931dfaee
|
ekrhyper: refactor
|
2021-12-21 12:44:01 +01:00 |
|
Doron Behar
|
e6647de754
|
Merge pull request #151281 from r-ryantm/auto-update/qalculate-gtk
|
2021-12-19 22:40:43 +02:00 |
|
Gabriel Ebner
|
a3bbbe08bd
|
Merge pull request #151328 from Kha/elan-lean-cc
elan: set LEAN_CC to stdenv cc
|
2021-12-19 17:39:28 +01:00 |
|
Sebastian Ullrich
|
b20024dd3a
|
elan: set LEAN_CC to stdenv cc
This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`
|
2021-12-19 17:27:10 +01:00 |
|
Bobby Rong
|
856672f2ce
|
Merge pull request #151249 from lopsided98/mavproxy-update
mavproxy: 1.8.45 -> 1.8.46
|
2021-12-19 22:21:30 +08:00 |
|
R. Ryantm
|
57ff8c2e36
|
qalculate-gtk: 3.21.0 -> 3.22.0
|
2021-12-19 07:38:29 +00:00 |
|
qbg
|
24111d6a7a
|
mathematica: 12.3.1 -> 13.0.0 (#151213)
https://wolfram.com/mathematica/quick-revision-history.html#v130
|
2021-12-18 23:24:27 -05:00 |
|
R. Ryantm
|
d14a6ef13e
|
mavproxy: 1.8.45 -> 1.8.46
|
2021-12-18 20:04:55 -05:00 |
|
Bobby Rong
|
bcaa1b4633
|
Merge pull request #149151 from Luflosi/update/boinc
boinc: 7.14.2 -> 7.18.1
|
2021-12-18 21:32:22 +08:00 |
|
Dmitry Kalinkin
|
50a4c52747
|
Merge pull request #147648 from veprbl/pr/mxnet_1_8_0
mxnet: 1.6.0 -> 1.8.0, enable on darwin
|
2021-12-16 22:37:03 -05:00 |
|
mucaho
|
1509f463a0
|
clingcon: 3.3.0 -> 5.0.0
|
2021-12-16 20:28:19 +01:00 |
|
Silvan Mosberger
|
e30a4fa4bd
|
Merge pull request #149404 from Infinisil/remove-scyther
|
2021-12-16 01:56:39 +01:00 |
|
Justin Bedő
|
f6e14b6ada
|
Merge pull request #150628 from jbedo/subread
subread: init 2.0.3
|
2021-12-15 13:46:45 +11:00 |
|
Bobby Rong
|
e5a6bba62b
|
Merge pull request #150447 from r-ryantm/auto-update/seaview
seaview: 5.0.4 -> 5.0.5
|
2021-12-14 18:38:55 +08:00 |
|
7c6f434c
|
b862304c67
|
Merge pull request #150597 from collares/sage-arb
arb: 2.20.0 -> 2.21.1
|
2021-12-14 08:56:42 +00:00 |
|
Justin Bedo
|
6a1f4a51eb
|
subread: init 2.0.3
|
2021-12-14 13:30:23 +11:00 |
|
Mauricio Collares
|
9b35049770
|
sage: import arb 2.21.0 test fixes
|
2021-12-13 11:16:33 -03:00 |
|
Oleksii Filonenko
|
a400948064
|
Merge pull request #149167 from r-ryantm/auto-update/rink
rink: 0.6.1 -> 0.6.2
|
2021-12-13 14:40:57 +02:00 |
|
Felix Buehler
|
4cc23f2b1e
|
why3.withProvers: add dontUnpack
|
2021-12-12 20:33:14 +01:00 |
|
R. Ryantm
|
d4a5bdc264
|
seaview: 5.0.4 -> 5.0.5
|
2021-12-12 15:59:16 +00:00 |
|
Mario Rodas
|
e09a539ccb
|
Merge pull request #150166 from r-ryantm/auto-update/gmsh
gmsh: 4.8.4 -> 4.9.0
|
2021-12-11 22:52:19 -05:00 |
|
Ryan Mulligan
|
9e570d0034
|
Merge pull request #150031 from r-ryantm/auto-update/jmol
jmol: 14.31.49 -> 14.32.2
|
2021-12-11 16:23:05 -08:00 |
|
Jörg Thalheim
|
453b06c677
|
Merge pull request #150121 from markuskowa/fix-cp2k
cp2k: make elpa optional
|
2021-12-11 14:04:41 +00:00 |
|
Jörg Thalheim
|
4e5d03cd21
|
Merge pull request #150111 from r-ryantm/auto-update/gretl
gretl: 2021b -> 2021d
|
2021-12-11 13:34:40 +00:00 |
|
Jörg Thalheim
|
953bdd43bf
|
Merge pull request #150124 from r-ryantm/auto-update/gwyddion
gwyddion: 2.59 -> 2.60
|
2021-12-11 13:31:59 +00:00 |
|
Jörg Thalheim
|
2a322411ff
|
Merge pull request #150217 from r-ryantm/auto-update/cryptoverif
cryptoverif: 2.04 -> 2.05
|
2021-12-11 12:53:42 +00:00 |
|
R. Ryantm
|
50554a43cf
|
cryptoverif: 2.04 -> 2.05
|
2021-12-11 10:05:51 +00:00 |
|
R. Ryantm
|
2d939d3262
|
gmsh: 4.8.4 -> 4.9.0
|
2021-12-11 01:08:58 +00:00 |
|
R. Ryantm
|
7bbf6a048b
|
gwyddion: 2.59 -> 2.60
|
2021-12-10 20:19:55 +00:00 |
|
Markus Kowalewski
|
6d1f54dc5d
|
cp2k: make elpa optional
|
2021-12-10 20:56:21 +01:00 |
|
R. Ryantm
|
7abc2f38b4
|
gretl: 2021b -> 2021d
|
2021-12-10 19:06:52 +00:00 |
|
Ryan Mulligan
|
76d64cf517
|
Merge pull request #149908 from r-ryantm/auto-update/marvin
marvin: 21.9.0 -> 21.18.0
|
2021-12-10 06:36:30 -08:00 |
|
R. Ryantm
|
a1fa86e691
|
jmol: 14.31.49 -> 14.32.2
|
2021-12-10 10:13:57 +00:00 |
|
Maximilian Bosch
|
c87f93843c
|
Merge pull request #148905 from r-ryantm/auto-update/calc
calc: 2.13.0.1 -> 2.14.0.8
|
2021-12-10 01:22:16 +01:00 |
|
7c6f434c
|
26b52ea6a6
|
Merge pull request #149596 from r-ryantm/auto-update/polymake
polymake: 4.4 -> 4.5
|
2021-12-09 22:48:21 +00:00 |
|
R. Ryantm
|
806d3e25cd
|
marvin: 21.9.0 -> 21.18.0
|
2021-12-09 19:20:04 +00:00 |
|
Vincent Laporte
|
a2dc97cd5c
|
proverif: 2.03 → 2.04
|
2021-12-09 17:45:15 +01:00 |
|
Vincent Laporte
|
a160defe64
|
coq_8_15: init at 8.15+rc1
|
2021-12-09 15:46:06 +01:00 |
|
Jörg Thalheim
|
2808a3bc74
|
Merge pull request #149465 from r-ryantm/auto-update/openmvg
openmvg: 1.6 -> 2.0
|
2021-12-08 15:15:48 +00:00 |
|
R. Ryantm
|
5a5f052be8
|
polymake: 4.4 -> 4.5
|
2021-12-08 10:49:07 +00:00 |
|
R. Ryantm
|
3112fe2ace
|
openmvg: 1.6 -> 2.0
|
2021-12-07 20:17:43 +00:00 |
|
Silvan Mosberger
|
55af3549a3
|
scyther: remove since it only supports Python 2
See https://github.com/cascremers/scyther/issues/20
|
2021-12-07 17:58:03 +01:00 |
|
R. Ryantm
|
817561795f
|
logisim-evolution: 3.7.1 -> 3.7.2
|
2021-12-07 12:21:37 +00:00 |
|