Commit Graph

4366 Commits

Author SHA1 Message Date
Ryan Mulligan
db21819e91
Merge pull request #117345 from r-ryantm/auto-update/jmol
jmol: 14.31.34 -> 14.31.35
2021-03-23 09:14:57 -07:00
R. RyanTM
8ab6893632 jmol: 14.31.34 -> 14.31.35 2021-03-23 11:29:06 +00:00
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