github-actions[bot]
01105a117a
Merge staging-next into staging
2021-04-29 06:21:55 +00:00
R. RyanTM
5122077801
gmsh: 4.8.1 -> 4.8.3
2021-04-29 00:17:51 -04:00
R. RyanTM
e99e9f2d47
elan: 1.0.0 -> 1.0.2
2021-04-29 00:04:34 -04:00
github-actions[bot]
655989d7b3
Merge staging-next into staging
2021-04-28 00:15:29 +00:00
Gabriel Ebner
a062505e10
Merge pull request #120177 from r-ryantm/auto-update/elan
...
elan: 0.11.0 -> 1.0.0
2021-04-27 22:52:12 +02:00
R. RyanTM
32cb3382e5
elan: 0.11.0 -> 1.0.0
2021-04-27 22:32:13 +02:00
Gabriel Ebner
abbc2384d7
Merge pull request #120822 from r-ryantm/auto-update/lean
...
lean: 3.28.0 -> 3.29.0
2021-04-27 22:28:19 +02:00
R. RyanTM
4ccb9422c7
lean: 3.28.0 -> 3.29.0
2021-04-27 05:34:13 +00:00
github-actions[bot]
e30742adc3
Merge staging-next into staging
2021-04-26 12:06:35 +00:00
Vincent Laporte
35dfa0e927
alt-ergo: 2.3.3 → 2.4.0
2021-04-26 08:32:18 +02:00
github-actions[bot]
28c3da370d
Merge staging-next into staging
2021-04-26 06:05:56 +00:00
R. RyanTM
224fc21cc3
tetgen: 1.5.1 -> 1.6.0
2021-04-26 01:32:28 -04:00
github-actions[bot]
8634c6f7d1
Merge staging-next into staging
2021-04-26 00:17:03 +00:00
Mauricio Collares
e1ad2f5aa4
sage: remove cypari2 override
...
This reverts commit c12ef05bda
.
2021-04-25 18:21:58 -03:00
Michael Raskin
14f65f0dc5
Merge pull request #116365 from omasanori/sage-9.3
...
sage: 9.2 -> 9.3
2021-04-25 21:17:32 +00:00
github-actions[bot]
9a945aac72
Merge staging-next into staging
2021-04-25 18:14:18 +00:00
Eduardo Sánchez Muñoz
6b9e396a07
qalculate-gtk: 3.17.0 -> 3.18.0
2021-04-25 16:17:26 +02:00
github-actions[bot]
944e32775d
Merge staging-next into staging
2021-04-24 00:16:20 +00:00
Alyssa Ross
4f4d95bbc2
Merge remote-tracking branch 'nixpkgs/master' into staging-next
...
Conflicts:
pkgs/development/python-modules/pyvex/default.nix
pkgs/top-level/python-packages.nix
2021-04-23 13:49:12 +00:00
Michael Raskin
2a04a9ce44
Merge pull request #120168 from r-ryantm/auto-update/clingo
...
clingo: 5.4.1 -> 5.5.0
2021-04-23 08:51:33 +00:00
github-actions[bot]
0d97d9f23b
Merge staging-next into staging
2021-04-23 00:15:42 +00:00
github-actions[bot]
481a9bc47c
Merge master into staging-next
2021-04-23 00:15:39 +00:00
R. RyanTM
82bc3d6c28
clingo: 5.4.1 -> 5.5.0
2021-04-22 07:44:27 +00:00
R. RyanTM
e230004975
calc: 2.12.9.1 -> 2.13.0.1
2021-04-22 06:59:52 +00:00
Masanori Ogino
090b71f627
sage: 9.2 -> 9.3.rc4
...
Co-authored-by: Mauricio Collares <mauricio@collares.org>
2021-04-22 14:06:56 +09:00
Mauricio Collares
00d2e24395
eclib: 20210223 -> 20190909
...
This reverts commits 003705ef08
and ef615b5a61
.
2021-04-22 14:06:56 +09:00
Garaba Flórián
a0f410646c
sage: use threejs fork
2021-04-22 14:06:56 +09:00
Mauricio Collares
090165d7c1
singular: disable vspace on aarch64
2021-04-22 14:06:56 +09:00
Mauricio Collares
cd7cf5942b
singular: use older autoconf macro to unbreak aarch64
2021-04-22 09:01:30 +09:00
Mauricio Collares
aebef1703f
singular: import aarch64 support patch
2021-04-22 09:01:07 +09:00
Timo Kaufmann
ceaf48fdb2
singular: 4.1.1p2 -> 4.2.0p2
...
Adds proper tests. Also removes the "enableFactory" option because
singular actually enables factory by default and explicitly disabling it
breaks the build. So the option was never really available.
2021-04-22 09:01:07 +09:00
Mauricio Collares
cd215e793a
pynac: 0.7.26 -> 0.7.27
2021-04-22 09:01:07 +09:00
Mauricio Collares
79046fb4f8
gap: 4.10.2 -> 4.11.0
2021-04-22 09:01:07 +09:00
github-actions[bot]
a260b67879
Merge staging-next into staging
2021-04-21 12:06:26 +00:00
github-actions[bot]
9b3e698b14
Merge master into staging-next
2021-04-21 12:06:23 +00:00
Sandro
59f840f3d5
Merge pull request #119055 from eduardosm/kicad
2021-04-21 06:28:21 +02:00
Mario Rodas
8b2b6e4e11
Merge pull request #119682 from marsam/update-beluga
...
beluga: 2020-03-11 -> 1.0
2021-04-20 22:22:02 -05:00
github-actions[bot]
6929a896cf
Merge staging-next into staging
2021-04-20 12:06:48 +00:00
github-actions[bot]
960439e003
Merge master into staging-next
2021-04-20 12:06:46 +00:00
Maximilian Bosch
8389dcb67d
Merge pull request #119911 from jbedo/octopus
...
octopus: 0.7.1 -> 0.7.3
2021-04-20 10:58:42 +02:00
github-actions[bot]
cf0edc0dea
Merge staging-next into staging
2021-04-20 06:06:28 +00:00
github-actions[bot]
e605a07cc0
Merge master into staging-next
2021-04-20 06:06:25 +00:00
R. RyanTM
44a83a3cb6
gmsh: 4.8.0 -> 4.8.1
2021-04-19 22:37:39 -04:00
Justin Bedo
def7c82f88
octopus: 0.7.1 -> 0.7.3
2021-04-20 10:13:25 +10:00
Jörg Thalheim
b2a1e04eed
Merge remote-tracking branch 'upstream/staging-next' into HEAD
2021-04-17 16:37:04 +02:00
github-actions[bot]
f620e30ca4
Merge master into staging-next
2021-04-17 00:15:03 +00:00
Vincent Laporte
ab16ad8764
coq_8_13: 8.13.1 → 8.13.2
2021-04-16 22:32:31 +02:00
Alyssa Ross
e459db3f81
glsurf: fix license
...
The README says GPL 2 or any later version, not LGPL.
2021-04-16 14:06:10 +00:00
Alyssa Ross
70e33e3ae3
glsurf: use current giflib
...
This requires bumping the version of camlimages used by glsurf to a
version that supports current giflib. The most recent versions of
camlimages (even of 4.x) don't support ocaml 4.01 any more, so I've
upgraded to 4.1.2 here, the last version that supports ocaml 4.01 (and
which happily supports current giflib).
2021-04-16 14:06:10 +00:00
Alyssa Ross
6e3b5fd046
libungif: remove in favour of giflib
...
libungif was merged into giflib in 2006, and hasn't been updated
since. All non-broken packages still using it build fine with giflib.
See <http://giflib.sourceforge.net/history.html >.
2021-04-16 14:06:10 +00:00