truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
115786 commits 3 branches 0 tags 565 MiB
Commit graph

1348 commits

Author SHA1 Message Date
Franz Pletz
5b09ca07b8
gplates: mark as broken 2017-09-29 02:13:55 +02:00
Franz Pletz
d9298e3a00
openmodelica: mark as broken, unmaintained 2017-09-29 02:00:12 +02:00
Franz Pletz
c5c082a111
kicad: don't try to build on hydra 
(cherry picked from commit 0dc882e3d4)
 2017-09-29 01:55:10 +02:00
Robin Gloster
23fdbaa375
treewide: mark a bunch of failing builds as broken 2017-09-28 23:16:18 +02:00
Robin Gloster
5faf5c25b6
treewide: mark batch of packages broken for 17.09 2017-09-28 18:59:17 +02:00
Robin Gloster
179b357a66
freebayes: clean up build 
(cherry picked from commit 7cbf3a27de)
 2017-09-28 13:10:37 +02:00
Samuel Leathers
9bed9124e3
freebayes: 1.1.0 -> 2017-08-23 
(cherry picked from commit a3e2ecd7f7)
 2017-09-28 13:10:30 +02:00
Tuomas Tynkkynen
3dcd59f164 caffe: Make 'bin' the first output 
So ${caffe}/bin/foo always works in scripts.

(cherry picked from commit 9824ca6975)
 2017-09-27 00:41:13 +03:00
Michael Raskin
5cf35d7ae4
singular: use gcc5 
Progress on: #28643
Fixes: #29682

(cherry picked from commit f7d7c7bedf)
 2017-09-23 14:00:25 +02:00
mimadrid
8d4cb4e214 calc: 2.12.6.1 -> 2.12.6.3 
(cherry picked from commit 676db57c37)
 2017-09-23 09:10:01 +02:00
Tuomas Tynkkynen
83b72a90c5 darwin: Disable yet another bunch of packages never having built successfully 
cjdns: https://hydra.nixos.org/build/61134279
jonprl: https://hydra.nixos.org/build/61123711
mate.libmatemixer: https://hydra.nixos.org/build/61126968
dirac: https://hydra.nixos.org/build/61132432
idnkit: https://hydra.nixos.org/build/61123544
trousers: https://hydra.nixos.org/build/61109766
packetdrill: https://hydra.nixos.org/build/61116190
osm2pgsql: https://hydra.nixos.org/build/61118017
nawk: https://hydra.nixos.org/build/61139000

(cherry picked from commit 4acb425c39)
 2017-09-22 21:20:08 +03:00
Tuomas Tynkkynen
733336153d darwin: Disable another bunch of packages never having built successfully 
tecoc: https://hydra.nixos.org/build/61141995
shallot: https://hydra.nixos.org/build/61145497
plink-ng: https://hydra.nixos.org/build/61130149
tshark: https://hydra.nixos.org/build/61479600
(cherry picked from commit 4b4bfbf3e5)
 2017-09-22 19:59:01 +03:00
Vincent Laporte
6aa5fbed97
abella: fix build with OCaml ≥ 4.03 
(cherry picked from commit 3b7c68615e)
 2017-09-22 15:59:15 +02:00
Ben Darwin
f36c13564f
ants: bump version and fix sandboxed build 
(cherry picked from commit c7bbe471b0)
 2017-09-22 15:57:21 +02:00
Gabriel Ebner
ba17627adb
lean: 3.2.0 -> 3.3.0 
(cherry picked from commit aad00e35db)
 2017-09-17 18:19:42 +02:00
Vincent Laporte
daa0ccd626
proverif: 1.95 -> 1.97pl1 
(cherry picked from commit cc5491d02c)
 2017-09-17 18:19:35 +02:00
timor
9be724d65b qfsm: fix build with gcc 6 (#29245) 2017-09-11 20:29:16 +02:00
Bjørn Forsman
92ca300cc6 eagle: 7.5 -> 7.7 
This is the latest release from Cadsoft, before they were bought by
Autocad. Autocad has released 8.x, but

- it requires reworking the Nix expression (different packaging)
- the paid license version requires a monthly subscription fee, you never
  "own" the software (AFAICT).

Due to the licensing change in 8.x, I think keeping Eagle 7.x around is
a good idea.

(cherry picked from commit 28f780b320)
 2017-09-11 14:48:16 +02:00
Markus Mueller
300b9f13de
mcrl2: 201409 -> 201707 
(cherry picked from commit edd94f5fcd)
 2017-09-10 17:55:46 +02:00
Bjørn Forsman
cc601675e2 kicad: 4.0.6 -> 4.0.7 
(cherry picked from commit 15c18cef3d)
 2017-09-09 13:37:07 +02:00
Bjørn Forsman
2195b6b50e kicad: put the full version string in name 
(cherry picked from commit dfbb710375)
 2017-09-09 13:37:06 +02:00
Nikolay Amiantov
c17926b2c8
caffe: add Python support 
Move to CMake in the process.

(cherry picked from commit c4bed3043d)
 2017-09-08 16:17:55 +02:00
Nikolay Amiantov
f32122f98a
caffe: 2015-07-02 -> 1.0-rc5 
(cherry picked from commit 88641353d6)
 2017-09-08 16:17:19 +02:00
Théo Zimmermann
ab410c3ac1
coq: fetch source from GitHub 
(cherry picked from commit a26bbe547e)
 2017-09-08 16:12:07 +02:00
Samuel Leathers
763020823a
qucs: 0.0.18 -> 0.0.19 
(cherry picked from commit 00753e078d)
 2017-09-08 16:08:11 +02:00
Samuel Leathers
5eeab2372d
adms: init at 2.3.6 
(cherry picked from commit df1d5a4827)
 2017-09-08 16:07:45 +02:00
Eelco Dolstra
460df30bd8
Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper" 
This reverts commit 0a944b345e, reversing
changes made to 61733ed6cc.

I dislike these massive stdenv changes with unclear motivation,
especially when they involve gratuitous mass renames like NIX_CC ->
NIX_BINUTILS. The previous such rename (NIX_GCC -> NIX_CC) caused
months of pain, so let's not do that again.

(cherry picked from commit ec8d41f08c)
 2017-09-07 12:53:33 +02:00
Robin Gloster
f307c3ed69
bwa: 0.7.15 -> 0.7.16a 
(cherry picked from commit a0967948d9)
 2017-09-05 14:43:42 +02:00
Gabriel Ebner
73d472999e
eprover: 1.9.1 -> 2.0 
(cherry picked from commit b2eff3c60d)
 2017-09-05 14:28:15 +02:00
John Ericson
89481b70ea misc pkgs: Use $NIX_BINUTILS for when needed 
Certain files are now only there instead of $NIX_CC (some are in both)

(cherry picked from commit 3f30cffa55)
 2017-09-03 11:30:38 -04:00
Austin Seipp
5c4602aec7
yices: now under GPLv3 
This means Hydra can build it now!

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit 583ebc086c)
 2017-09-03 13:33:39 +02:00
Samuel Leathers
a964fd43e8
neuron: 7.4 -> 7.5 
(cherry picked from commit d9cd226a6d)
 2017-09-03 13:33:17 +02:00
Austin Seipp
437ca1f134
z3_opt: remove and replace with z3 
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit 54ae0aa1b0)
 2017-09-02 12:18:32 +02:00
Dmitry Kalinkin
957eb785b3
sherpa: 2.2.1 -> 2.2.4 
(cherry picked from commit 59b525e559)
 2017-09-02 12:18:29 +02:00
Samuel Leathers
7c77ba95f3 caneda: fix build with gcc6 
(cherry picked from commit 04b8a85739)
 2017-09-01 06:50:31 +01:00
Samuel Leathers
7d7e2aba83 pulseview: 0.3.0 -> 0.4.0 
(cherry picked from commit b39462d0c3)
 2017-08-31 09:42:54 +01:00
Michael Raskin
e36afa80e3 gfan: 0.5 -> 0.6; #28643 2017-08-30 18:19:14 +02:00
Samuel Leathers
029f40a552 xplanet: gcc6 patch 2017-08-30 11:04:26 -04:00
Lancelot SIX
e8e0cb193e
pspp: 0.8.3 -> 1.0.1 2017-08-30 10:01:32 +02:00
Will Dietz
c8f2e3f95f cvc3: Add gcc6 patch from Gentoo. 
https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
 2017-08-29 13:48:09 -05:00
Gabriel Ebner
393f1f53be qalculate-gtk: 1.0.0 -> 2.0.0a 2017-08-29 10:30:26 +02:00
Lukas Werling
f0a1ab78b4 meson/ninja: add setup hooks (#28444) 
* Add setupHook for meson/ninja build

* libhttpseverywhere: Use meson/ninja setupHooks

* jamomacore: Remove superfluous ninja buildInput

* Remove obsolete ninja buildPhases

These are all handled by ninja's setup hook.

* lean2, xcbuild: fix build with ninja setup hook

Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.

* qtwebengine: fix build with ninja setup hook
 2017-08-27 19:42:21 +02:00
Will Dietz
db66c996bf yices: 2.5.2 -> 2.5.3 
Move to github URL, homepage seems to be down currently.
 2017-08-27 10:10:48 -05:00
Will Dietz
3ab85383a0 libpoly: 0.1.3 -> 0.1.4 2017-08-27 10:10:47 -05:00
Dmitry Kalinkin
fd22d671ec root: 6.10.02 -> 6.10.04 2017-08-22 04:00:39 +02:00
Joachim F
aeb733c8d5 Merge pull request #28377 from Ma27/update/geogebra 
geogebra: 5-0-377-0 -> 5-0-382-0
 2017-08-20 20:15:37 +00:00
Frederik Rietdijk
5b8cd48e99 Merge pull request #28320 from rybern/add-poretools 
poretools: init at 0.6.0
 2017-08-20 17:44:05 +02:00
Gabriel Ebner
7da15a071d open-wbo: init at 2.0 2017-08-20 10:19:46 +02:00
Gabriel Ebner
acf01cbc6c lean2: 2016-11-29 -> 2017-07-22 
This will also fix the build issues with GCC 6.
 2017-08-19 15:24:35 +02:00
Maximilian Bosch
319dac82d1
geogebra: fallback to web.archive.org 2017-08-18 21:42:50 +02:00