Commit graph

2383 commits

Author SHA1 Message Date
Johannes Frankenau e7f021ca93 groove: init at 5.7.4 2019-04-19 13:34:30 +02:00
tbenst d34f2b9b96 bftools: init at 5.9.2 (#53769) 2019-01-10 18:28:28 -05:00
markuskowa b70a4b2b98
Merge pull request #53478 from bgamari/bump-ngspice
ngspice: 29 -> 30
2019-01-10 20:17:54 +01:00
Austin Seipp c10650760d yices: s/fetchurl/fetchFromGitHub/
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Austin Seipp 38aa0a3df4 z3: 4.8.3 -> 4.8.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Austin Seipp d77f381055 symbiyosys: 2018.09.12 -> 2018.12.09
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Simon Lackerbauer f7367cbf1c abella: 2.0.5 -> 2.0.6 2019-01-08 17:05:30 +00:00
R. RyanTM bd7eec5d9c pynac: 0.7.22 -> 0.7.23 (#53559)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pynac/versions
2019-01-07 14:52:18 +01:00
Vladimír Čunát 10a12194e3
Merge #53490: fix treewide linking errors after #51770
Issue #53001.  This might not be all of them, but let's not wait.
2019-01-06 12:14:52 +01:00
Frederik Rietdijk e5381cdece Merge master into staging-next 2019-01-06 09:36:23 +01:00
Jörg Thalheim 37fe593d48
cryptominisat: switch to python3 2019-01-05 16:38:10 +01:00
Jörg Thalheim 4a4d1d6497
cryptominisat: 5.0.1 -> 5.6.6 2019-01-05 12:45:44 +01:00
Piotr Bogdan 71f216b7e6 golly-beta: link with lib{dl,GL} explicitly 2019-01-04 21:44:19 +00:00
Piotr Bogdan ae7557c4cb avogadro: fix libX11 underlinking 2019-01-04 21:13:57 +00:00
Frederik Rietdijk 9618abe87c Merge master into staging-next 2019-01-04 21:13:19 +01:00
R. RyanTM c7afdaf5cd gtkwave: 3.3.97 -> 3.3.98
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2019-01-03 16:44:01 -05:00
Ben Gamari 537b0ac9be ngspice: 29 -> 30
Just a simple bump.
2019-01-03 16:16:51 -05:00
Frederik Rietdijk 2da31b80bb Merge master into staging-next 2019-01-03 20:07:35 +01:00
markuskowa d38f103586
Merge pull request #53312 from r-ryantm/auto-update/gromacs
gromacs: 2018.4 -> 2019
2019-01-03 18:52:49 +01:00
R. RyanTM 344fd2319b gromacs: 2018.4 -> 2019
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2019-01-03 05:58:09 -08:00
R. RyanTM c00dbcb7c4 picard-tools: 2.18.20 -> 2.18.21
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-01-03 08:39:10 +01:00
Frederik Rietdijk 092e3b50a8 Merge master into staging-next 2019-01-02 21:08:27 +01:00
R. RyanTM e6d8d29f30 kicad: 5.0.1 -> 5.0.2 (#52866)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kicad/versions
2019-01-01 20:02:29 +01:00
Frederik Rietdijk 070290bda7 Merge master into staging-next 2018-12-31 12:00:36 +01:00
Vincent Laporte ea92816c74 why3: 1.1.0 -> 1.1.1 (#52980) 2018-12-29 21:05:23 +01:00
Timo Kaufmann 7abdacc4f2
Merge pull request #51039 from timokau/sage-8.5
sage: 8.4 -> 8.5
2018-12-29 16:15:38 +01:00
Timo Kaufmann 8cd7b5aab3
gap: 4r8p10 -> 4.10.0 (#53037)
This new version also has a libgap replacement, so after the next sage
update gap-libgap-compatible and libgap won't be necessary anymore.
2018-12-29 16:05:56 +01:00
Timo Kaufmann 22c16ed300 Merge remote-tracking branch 'upstream/master' into sage-8.5 2018-12-29 12:16:02 +01:00
Timo Kaufmann 95909d4fb6 Revert "sage: preload openblasCompat"
This reverts commit 4900bbee17.

The issue that was supposed to fix is now fixed by lazy-loading rpy2 and
makign sure scipy is loaded before that.
That is not quite as nice, but preloading is now causing its own issues
with openblas 0.3.4:
https://github.com/xianyi/OpenBLAS/issues/1936
2018-12-28 23:06:05 +01:00
Timo Kaufmann 360eddd3a3 sage: remove outdated patch files 2018-12-28 23:06:05 +01:00
Timo Kaufmann 6f0f06ec89 sage: 8.5.rc1 -> 8.5 2018-12-28 23:06:05 +01:00
Andrey Komarov bc7aa5d202 iverilog: 2017.08.12 -> 2018.12.15 2018-12-28 07:53:36 -06:00
Frederik Rietdijk 10afccf145 Merge staging-next into staging 2018-12-27 18:11:34 +01:00
R. RyanTM 338cf1a7fc igv: 2.4.15 -> 2.4.16
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
2018-12-26 10:44:01 +01:00
Jan Tojnar c45e9d0fac
Merge branch 'master' into staging 2018-12-25 17:03:57 +01:00
Alexey Shmalko a5306b311b
Merge pull request #52768 from r-ryantm/auto-update/stellarium
stellarium: 0.18.2 -> 0.18.3
2018-12-24 16:38:24 +02:00
Jan Tojnar ef935fa101
Merge branch 'master' into staging 2018-12-24 15:02:29 +01:00
R. RyanTM c6cc68a510 stellarium: 0.18.2 -> 0.18.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/stellarium/versions
2018-12-24 04:42:47 -08:00
Jörg Thalheim 5bae6dea20
Merge pull request #52669 from r-ryantm/auto-update/verilator
verilator: 4.006 -> 4.008
2018-12-22 12:51:50 +01:00
R. RyanTM d4021ad9e4 verilator: 4.006 -> 4.008
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2018-12-22 03:33:41 -08:00
Dmitry Kalinkin 62aea9510c
Merge pull request #51796 from bachp/dsview-0.99
dsview: init at 0.99
2018-12-21 17:40:40 -05:00
Alex Branham a5fc513079 R: 3.5.1 -> 3.5.2
Closes https://github.com/NixOS/nixpkgs/pull/52571.
2018-12-21 13:59:36 +01:00
Pascal Bach 3facb3bf79 dsview: init at 0.99 2018-12-21 10:24:16 +01:00
Samuel Dionne-Riel 3c38cc8058
Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1
aarch64: ZHF for aarch64 (1/??)
2018-12-20 21:06:52 -05:00
Renaud 6f5ec9d889
Merge pull request #52134 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.17 -> 2.18.20
2018-12-19 17:53:47 +01:00
Frederik Rietdijk 9ab61ab8e2 Merge staging-next into staging 2018-12-19 09:00:36 +01:00
volth fed7914539
Merge branch 'staging' into make-perl-pathd 2018-12-18 17:13:27 +00:00
Renaud 921caad16d
Merge pull request #52284 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.95 -> 3.3.97
2018-12-17 16:23:56 +01:00
Gabriel Ebner 21597583f9
Merge pull request #52067 from r-ryantm/auto-update/qalculate-gtk
qalculate-gtk: 2.8.1 -> 2.8.2
2018-12-17 09:46:32 +01:00
markuskowa 96b0a38f07
Merge pull request #52015 from r-ryantm/auto-update/star
star: 2.6.1c -> 2.6.1d
2018-12-16 23:38:37 +01:00