Phillip Seeber
5c4d869ada
engauge-digitizer: init at 12.1
...
code-review hints
engauge-digitizer: code review suggestions
2021-07-09 13:27:30 +02:00
Sandro
43b68c4bca
dkh: init at 1.2
...
Apply suggestions from code review
2021-07-09 10:40:51 +02:00
Michael Raskin
cb098c86b0
Merge pull request #129280 from r-ryantm/auto-update/jmol
...
jmol: 14.31.42 -> 14.31.44
2021-07-06 04:04:19 +00:00
Sandro
90fa755d73
Merge pull request #123692 from collares/eclib-20210503
2021-07-06 01:59:32 +02:00
R. RyanTM
0e2aad0d3f
jmol: 14.31.42 -> 14.31.44
2021-07-04 22:17:25 +00:00
github-actions[bot]
a6fdcf8d52
Merge master into staging-next
2021-07-04 12:01:06 +00:00
Gabriel Ebner
5fd14f54c7
qalculate-gtk: 3.18.0 -> 3.19.0
2021-07-04 10:41:23 +02:00
Gabriel Ebner
7880aaa756
Merge pull request #124454 from r-ryantm/auto-update/elan
...
elan: 1.0.2 -> 1.0.6
2021-07-04 10:19:58 +02:00
github-actions[bot]
89ee82a6e9
Merge master into staging-next
2021-07-04 06:01:11 +00:00
Sandro
8723bd8119
Merge pull request #129122 from dotlambda/dateutil-alias
2021-07-04 02:53:34 +02:00
Dmitry Kalinkin
f0fbfdefe7
Merge branch 'master' into staging-next
2021-07-03 17:51:15 -04:00
Mauricio Collares
30cd543b32
eclib: 20190909 -> 20210625, import sage update patch
2021-07-03 12:55:52 -03:00
R. RyanTM
f32e760b64
gwyddion: 2.58 -> 2.59
2021-07-03 11:56:51 +00:00
Robert Schütz
1ec5651913
treewide: use pythonPackages.python-dateutil instead of pythonPackages.dateutil
2021-07-03 13:45:57 +02:00
github-actions[bot]
77a94d88ad
Merge master into staging-next
2021-07-03 06:01:13 +00:00
Sarunas Valaskevicius
5b69b1f3fe
tlaToolbox: fix crash on file open dialog
2021-07-02 23:04:39 +01:00
github-actions[bot]
4147e7d4a9
Merge master into staging-next
2021-07-02 18:01:01 +00:00
Gabriel Ebner
b38329171a
Merge pull request #128926 from collares/lean-3.31
...
lean: 3.30.0 -> 3.31.0
2021-07-02 19:57:13 +02:00
github-actions[bot]
dcd8f68f13
Merge master into staging-next
2021-07-02 00:01:33 +00:00
Mauricio Collares
258e959faf
lean: 3.30.0 -> 3.31.0
2021-07-01 20:47:08 -03:00
Michael Raskin
980ebd8f1e
Merge pull request #128831 from collares/sage-sphinx-4
...
sage: import sphinx and sympy update patches, update pari 2.13 patch
2021-07-01 21:42:08 +00:00
github-actions[bot]
9d5de3eca1
Merge master into staging-next
2021-07-01 18:01:04 +00:00
Ben Siraphob
ee5b85e00e
Merge pull request #128900 from siraben/hol-unix
...
hol: expand platforms to unix
2021-07-01 23:33:15 +07:00
Ben Siraphob
e86f5bfa8f
hol: expand platforms to unix
2021-07-01 22:19:02 +07:00
Michael Raskin
7ba5c6915d
Merge pull request #128167 from r-ryantm/auto-update/jmol
...
jmol: 14.31.41 -> 14.31.42
2021-07-01 12:56:32 +00:00
Mauricio Collares
17e024867f
sage: import sphinx and sympy update patches, update pari 2.13 patch
2021-06-30 20:26:16 -03:00
github-actions[bot]
1a1f2ce95d
Merge master into staging-next
2021-06-30 18:04:09 +00:00
Théo Zimmermann
cc84f3906e
coq: fix issue introduced in #128603
...
This triggerred coq-community/coq-nix-toolbox#42 .
2021-06-30 16:38:39 +02:00
github-actions[bot]
629cea2cd0
Merge master into staging-next
2021-06-30 12:04:22 +00:00
R. RyanTM
360c8128bb
gtkwave: 3.3.109 -> 3.3.110
2021-06-29 23:46:07 -07:00
Hunter Jones
ef892b0a92
phd2: 2.6.9dev1 -> 2.6.10
2021-06-29 23:42:21 -07:00
R. RyanTM
c4e9746406
emuflight-configurator: 0.3.5 -> 0.3.6
2021-06-29 23:28:17 -07:00
github-actions[bot]
7f05df0a91
Merge master into staging-next
2021-06-30 06:04:18 +00:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 ( #128603 )
2021-06-30 04:47:31 +02:00
github-actions[bot]
0fa08dae1b
Merge master into staging-next
2021-06-30 00:08:50 +00:00
Sandro
be4382dcb3
Merge pull request #126878 from mtreca/master
2021-06-30 01:55:22 +02:00
github-actions[bot]
fc4cc6ca93
Merge master into staging-next
2021-06-29 12:04:29 +00:00
mtreca
66ca618b33
sumo: 1.8.0 -> 1.9.2
2021-06-29 11:24:41 +02:00
Andrew Childs
55dcd99859
root: use pure CoreSymbolication on Darwin
...
The current build works by linking against CoreSymbolication in
/System/Library/PrivateFrameworks. This is impure and doesn't work in
newer versions of macOS.
See https://github.com/NixOS/nixpkgs/issues/128576
2021-06-29 11:00:05 +09:00
github-actions[bot]
265a07c480
Merge staging-next into staging
2021-06-27 12:04:27 +00:00
Vincent Laporte
d60534722e
why3: use GTK3
2021-06-27 09:03:12 +02:00
Vincent Laporte
773bdf6998
why3: 1.3.3 → 1.4.0
...
framac: 22.0 → 23.0-rc1
2021-06-27 09:03:12 +02:00
github-actions[bot]
1016b5a6ba
Merge staging-next into staging
2021-06-27 00:10:43 +00:00
Hunter Jones
193e721cb2
siril: 0.99.8.1 -> 0.99.10.1
2021-06-26 12:57:56 -05:00
R. RyanTM
517fdc1aea
jmol: 14.31.41 -> 14.31.42
2021-06-26 04:00:04 +00:00
github-actions[bot]
947012b992
Merge staging-next into staging
2021-06-26 00:09:11 +00:00
Sandro
323e8cac82
Merge pull request #128069 from Artturin/openhantek
...
openhantek6022: 3.1.3 -> 3.2.3
2021-06-25 15:45:00 +02:00
github-actions[bot]
be086cc67b
Merge staging-next into staging
2021-06-25 12:06:08 +00:00
Sandro
c6b318fdf9
Merge pull request #128061 from lopsided98/mavproxy-update
...
mavproxy: 1.8.37 -> 1.8.39
2021-06-25 12:11:43 +02:00
Artturin
10968efa69
openhantek6022: 3.1.3 -> 3.2.3
2021-06-25 08:42:23 +03:00