Paul Liétar
|
6f8eb1e65a
|
coq: enable coqide on darwin
This was disabled a while ago, when itstool was broken on darwin.
Now that itstool works again, it can be re-enabled.
|
2021-03-23 08:17:13 +01:00 |
|
mtreca
|
ff64acacba
|
sumo: init at 1.8.0
|
2021-03-22 12:17:15 +01:00 |
|
Sandro
|
1c3d923aaa
|
Merge pull request #115685 from r-ryantm/auto-update/wxmaxima
wxmaxima: 20.06.6 -> 21.02.0
|
2021-03-22 01:08:42 +01:00 |
|
Sandro
|
593cc0d5ee
|
Merge pull request #111224 from r-ryantm/auto-update/gwyddion
gwyddion: 2.56 -> 2.57
|
2021-03-21 05:22:26 +01:00 |
|
Sandro
|
edac82660c
|
Merge pull request #117039 from raboof/gnucap-init-at-20210107
gnucap: init at 20210107
|
2021-03-20 19:49:27 +01:00 |
|
Arnout Engelen
|
52b7bd1e77
|
gnucap: init at 20210107
Submitting on behalf of kvtb,
https://discourse.nixos.org/t/casual-nixpkgs-contributions/9607/13
|
2021-03-20 16:36:48 +01:00 |
|
Mauricio Collares
|
c0b869f19f
|
sage: re-add pkgconfig input, it's not duplicated
|
2021-03-20 06:43:23 -03:00 |
|
github-actions[bot]
|
c804f22a81
|
Merge master into staging-next
|
2021-03-19 12:26:52 +00:00 |
|
Doron Behar
|
23ef497c17
|
Merge pull request #111237 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.107 -> 3.3.108
|
2021-03-19 10:24:36 +00:00 |
|
github-actions[bot]
|
6ffd2fe000
|
Merge master into staging-next
|
2021-03-19 06:17:55 +00:00 |
|
Jack Gerrits
|
a364fb6557
|
vowpal-wabbit: init at 8.9.2
|
2021-03-18 18:41:07 -07:00 |
|
Jan Tojnar
|
2445e9a681
|
Merge branch 'master' into staging-next
|
2021-03-18 19:24:39 +01:00 |
|
Thomas Mader
|
09acdfde94
|
sambamba: 0.7.1 -> 0.8.0
Getting rid of dmd dependency and compile with ldc
|
2021-03-18 17:41:30 +02:00 |
|
Jan Tojnar
|
0136206b12
|
Merge branch 'master' into staging-next
|
2021-03-18 13:35:59 +01:00 |
|
Sandro
|
fe4a249718
|
Merge pull request #116594 from NixOS/SuperSandro2000-patch-1
sage: remove duplicated pkgconfig
|
2021-03-17 11:10:10 +01:00 |
|
Sandro
|
2d01f4a96a
|
sage: remove duplicated pkgconfig
|
2021-03-17 09:24:07 +01:00 |
|
Samuel Gräfenstein
|
d90e7ac2e1
|
kicad: gnome3.dconf -> dconf
Fix building with `config.allowAliases = false;`.
|
2021-03-17 00:00:17 +01:00 |
|
Samuel Gräfenstein
|
b72ee5775c
|
treewide: gnome2.gtk -> gtk2
Fix building with `config.allowAliases = false;`.
|
2021-03-17 00:00:16 +01:00 |
|
Samuel Gräfenstein
|
672cd0c8e7
|
treewide: gnome3.gtkmm -> gtkmm3
Fix building with `config.allowAliases = false;`.
|
2021-03-17 00:00:15 +01:00 |
|
Samuel Gräfenstein
|
9517398973
|
treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-theme
Fix building with `config.allowAliases = false;`.
|
2021-03-17 00:00:15 +01:00 |
|
github-actions[bot]
|
c7b23f6440
|
Merge master into staging-next
|
2021-03-14 18:17:08 +00:00 |
|
R. RyanTM
|
7c14c1a8d0
|
pcb: 4.2.2 -> 4.3.0
|
2021-03-14 13:34:35 -04:00 |
|
Martin Weinelt
|
0241873f7f
|
Merge branch 'master' into staging-next
|
2021-03-14 17:35:32 +01:00 |
|
mucaho
|
ddf1821112
|
tla-toolbox: 1.7.0 -> 1.7.1
* updates package version
* fixes #114741
* fixes TLC model check call
|
2021-03-14 12:27:35 -04:00 |
|
Ryan Mulligan
|
0e63a1bb33
|
Merge pull request #115579 from r-ryantm/auto-update/stacks
stacks: 2.53 -> 2.55
|
2021-03-14 07:47:22 -07:00 |
|
Ryan Mulligan
|
03754f91eb
|
Merge pull request #115574 from r-ryantm/auto-update/SPAdes
SPAdes: 3.14.1 -> 3.15.1
|
2021-03-14 07:46:58 -07:00 |
|
github-actions[bot]
|
3b97019142
|
Merge master into staging-next
|
2021-03-14 06:17:28 +00:00 |
|
R. RyanTM
|
29bf7e2b89
|
jmol: 14.31.32 -> 14.31.34
|
2021-03-14 01:06:53 -05:00 |
|
R. RyanTM
|
621f19d89c
|
calc: 2.12.8.2 -> 2.12.9.0
|
2021-03-13 23:43:28 -05:00 |
|
github-actions[bot]
|
d6257d451b
|
Merge master into staging-next
|
2021-03-11 18:23:54 +00:00 |
|
Guillaume Girol
|
a72148f3bc
|
Merge pull request #114881 from collares/sage-dependencies
sage dependency updates
|
2021-03-11 17:52:16 +00:00 |
|
github-actions[bot]
|
6a3a358b0d
|
Merge master into staging-next
|
2021-03-10 18:23:15 +00:00 |
|
Austin Seipp
|
b54b679c90
|
Merge pull request #115717 from r-ryantm/auto-update/verilator
verilator: 4.108 -> 4.110
|
2021-03-10 08:49:38 -06:00 |
|
github-actions[bot]
|
aea4725648
|
Merge master into staging-next
|
2021-03-10 12:21:24 +00:00 |
|
Sandro
|
bb0bb13f32
|
Merge pull request #115621 from jbedo/octopus
octopus: 0.7.0 -> 0.7.1
|
2021-03-10 10:03:42 +01:00 |
|
R. RyanTM
|
5a9a1b3545
|
verilator: 4.108 -> 4.110
|
2021-03-10 07:47:54 +00:00 |
|
R. RyanTM
|
6dc1177c24
|
wxmaxima: 20.06.6 -> 21.02.0
|
2021-03-10 03:37:07 +00:00 |
|
github-actions[bot]
|
149a81c88d
|
Merge master into staging-next
|
2021-03-10 00:39:07 +00:00 |
|
Mauricio Collares
|
f80271c7f0
|
sage: remove usage of deprecated numpy aliases
|
2021-03-09 21:28:46 -03:00 |
|
Mauricio Collares
|
3f02cdae14
|
sage: reenable pexpect interrupt test
|
2021-03-09 21:28:46 -03:00 |
|
Mauricio Collares
|
edc78bb31f
|
sage: update test expectations for arb and giac, prepare for pari 2.13
|
2021-03-09 20:54:55 -03:00 |
|
Mauricio Collares
|
a0f55e48fa
|
sage: use fetchSageDiff whenever possible
|
2021-03-09 20:54:55 -03:00 |
|
R. RyanTM
|
4142ae19e8
|
palp: 2.11 -> 2.20
|
2021-03-09 20:54:55 -03:00 |
|
Mauricio Collares
|
d508147edc
|
giac: 1.5.0-87 -> 1.6.0-47
|
2021-03-09 20:54:55 -03:00 |
|
R. RyanTM
|
c0c700cb99
|
hal-hardware-analyzer: 3.2.5 -> 3.2.6
|
2021-03-09 15:29:51 -08:00 |
|
Justin Bedo
|
4e1a560ae4
|
octopus: 0.7.0 -> 0.7.1
|
2021-03-10 08:44:18 +11:00 |
|
R. RyanTM
|
cb9f13c609
|
stacks: 2.53 -> 2.55
|
2021-03-09 17:19:55 +00:00 |
|
R. RyanTM
|
95d96bbfe5
|
SPAdes: 3.14.1 -> 3.15.1
|
2021-03-09 17:01:01 +00:00 |
|
Martin Weinelt
|
16f9e4da3a
|
Merge branch 'master' into staging-next
|
2021-03-09 17:05:41 +01:00 |
|
R. RyanTM
|
97a6e6e702
|
qalculate-gtk: 3.16.0 -> 3.17.0
|
2021-03-09 09:26:04 +00:00 |
|