Commit Graph

4380 Commits

Author SHA1 Message Date
Mario Rodas
01f3ceeaa9
Merge pull request #116630 from r-ryantm/auto-update/lean
lean: 3.27.0 -> 3.28.0
2021-03-25 19:15:00 -05:00
Florian Klink
7d19272ef2
Merge pull request #115820 from flokli/xmedcon
xmedcon: init at 0.21.0
2021-03-25 23:01:58 +01:00
Dmitry Kalinkin
bf5c995ad2
Merge pull request #116487 from veprbl/pr/professor_init
professor: init at 2.3.3
2021-03-25 16:07:55 -04:00
Frederik Rietdijk
5a5cb718a5 bedtools: use python3 2021-03-25 10:42:32 +01:00
Frederik Rietdijk
2c00aed6b1 bcftools: use python3 2021-03-25 10:39:47 +01:00
Timo Kaufmann
82e1bfa53d
Merge pull request #117123 from collares/cypari-update
cypari2, cysignals: updates
2021-03-24 21:38:04 +00:00
Sandro
489ca6979e
Merge pull request #117335 from bzizou/spades
SPAdes: 3.15.1 -> 3.15.2 + fix license and platform
2021-03-24 19:54:23 +01:00
Mauricio Collares
812ffed96b gap: backport aarch64 patch 2021-03-23 22:09:29 -03:00
Mauricio Collares
594eda3b7d sage: patch intermittently failing test 2021-03-23 22:09:29 -03:00
Mauricio Collares
15fd117e71 cypari2: 2.1.1 -> 2.1.2
* cypari2: 2.1.1 -> 2.1.2, patch to fix segfault

* sage: update test expectations
2021-03-23 22:09:29 -03:00
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
Bruno Bzeznik
f0eef16f9c SPAdes: 3.15.1 -> 3.15.2 + fix license and platform 2021-03-23 10:51:01 +01: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
Florian Klink
275cc4e9c7 xmedcon: init at 0.21.0
This allows reading DICOM images, including 3d stacks.
2021-03-20 21:36:38 +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
R. RyanTM
fadcc52955 lean: 3.27.0 -> 3.28.0 2021-03-17 14:16:02 +00: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
Dmitry Kalinkin
7adf3f8127
professor: init at 2.3.3 2021-03-16 11:14:00 -04: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