Jan Tojnar
a31d98f312
tree-wide: autorename gnome packages to use dashes
2018-02-25 17:41:16 +01:00
Alexander V. Nikolaev
0acec7e984
treewide: transition mesa to libGLU_combined
2018-02-24 17:06:49 +02:00
Alexander V. Nikolaev
1bc1909e5b
treewide: transition from mesa_glu to libGLU
2018-02-24 17:05:43 +02:00
Gabriel Ebner
f5b173ffbc
qalculate-gtk: 2.1.0 -> 2.2.1
2018-02-24 11:54:53 +01:00
Timo Kaufmann
89162cdd29
sage: explicitly use gfortran6
...
The recent change from gfortran=gfortran6 to gfortran=gfortran7 broke
the build.
2018-02-23 17:00:21 +01:00
Johannes Frankenau
74029a21bf
bcal: init at 1.7
2018-02-21 00:05:16 +01:00
Vladimír Čunát
b5aaaf87a7
Merge staging and PR #35021
...
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
2018-02-16 09:13:12 +01:00
John Wiegley
90252481bf
coq: 8.7.1 -> 8.7.2
2018-02-15 23:12:43 -08:00
Vincent Laporte
e75009ecdc
eprover: fix build in non-GCC environments
2018-02-14 22:46:12 +00:00
Frederik Rietdijk
672bb6b4ab
Merge remote-tracking branch 'upstream/master' into HEAD
2018-02-14 21:30:08 +01:00
Jörg Thalheim
6ec8fe0408
z3: also needs setuptools
2018-02-14 10:01:25 +00:00
Timo Kaufmann
0713bde50f
sage: Don't build docs by default
...
This makes the HTML-docs an default-off option. Inline documentation
(`matrix-plot??`) is still available and HTML docs are available online.
Motivation: Get below the Hydra output size limit.
2018-02-13 17:52:41 +01:00
Will Dietz
2974ed9266
avy: fixes to work with clang and musl
2018-02-13 09:44:52 -06:00
Will Dietz
cbdd20878e
cvc4: build in parallel
2018-02-13 09:44:45 -06:00
Will Dietz
12e60c232a
cvc4: patch up fpu_control usage
2018-02-13 09:44:45 -06:00
Will Dietz
4c767417ea
picosat: fix ar and ranlib usage for cross
2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916
picosat: fixup include for unistd.h
2018-02-13 09:44:32 -06:00
Will Dietz
46cbded0de
boolector: patch usage of ar and ranlib for cross
...
eep.
2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf
boolector: fix missing stdint.h include
2018-02-13 09:44:31 -06:00
Jörg Thalheim
a0a3f674a7
Merge pull request #34094 from markuskowa/octopus-pr
...
octopus: init at 7.2
2018-02-10 14:14:01 +00:00
Jörg Thalheim
08d1400816
Merge pull request #34530 from unode/samtools-old
...
samtools-old: init at 0.1.19
2018-02-10 08:34:26 +00:00
Jörg Thalheim
80b096b2b3
Merge pull request #34531 from unode/raxml
...
RAxML: init at 8.2.11 (SSE3 & MPI)
2018-02-10 08:32:19 +00:00
Frederik Rietdijk
50a9d51a09
Merge commit '30d031b5d8d05422586043c3f105f4d9110e4f59' into HEAD
2018-02-08 12:14:07 +01:00
Peter Simons
fa23ff4a7d
Merge pull request #34651 from mnacamura/r-darwin-libcxx
...
R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin
2018-02-07 08:31:10 +01:00
Tuomas Tynkkynen
4c6c919a31
Merge remote-tracking branch 'upstream/master' into HEAD
...
Conflicts:
pkgs/os-specific/linux/kernel/generic.nix
2018-02-07 03:41:24 +02:00
Renato Alves
154d1d2f19
samtools: 1.6 -> 1.7
2018-02-06 15:38:00 +01:00
Mitsuhiro Nakamura
f4a031c63f
R: add libcxx to default LDFLAGS and CPPFLAGS on Darwin
2018-02-06 18:57:12 +09:00
Tuomas Tynkkynen
9548028a22
Merge remote-tracking branch 'upstream/master' into staging
...
Conflicts:
pkgs/os-specific/linux/cpupower/default.nix
2018-02-06 04:11:23 +02:00
Timo Kaufmann
272e930827
sage: fix non-deterministic build failures
...
The build was failing on some machines because of a `find` command that
touched files in different orders on different machines.
That confused `make`s timestamp mechanism.
2018-02-05 15:03:24 +01:00
Austin Seipp
0e371a60a5
symbiyosys: 2018.01.10 -> 2018.02.04
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:35 -06:00
Frederik Rietdijk
c1d79509a0
Merge pull request #34553 from NixOS/python-unstable
...
Python package updates
2018-02-04 13:29:23 +00:00
Frederik Rietdijk
aaa50d506e
python.pkgs.spyder: fix expression
...
Note I still get
```
This application failed to start because it could not find or load the
Qt platform plugin "xcb"
in "".
```
but that may be because I run it from the store which is not support for
Qt5 applications.
2018-02-04 10:17:35 +01:00
Bjørn Forsman
6b834384f6
bitscope: create derivations with version info
...
So far the store paths produced by the bitscope derivations have been
version-less. Fix it.
2018-02-03 21:14:50 +01:00
Frederik Rietdijk
c7f535c82d
spyder: 3.2.4 -> 3.2.6
2018-02-03 17:43:30 +01:00
Renato Alves
65ea5f8857
samtools_0_1_19: init at 0.1.19
...
samtools-1.5 already exists but some software requires the older version
2018-02-02 21:49:50 +01:00
Renato Alves
05889c52b9
RAxML: init at 8.2.11 (SSE3 & MPI)
...
This can potentially be extended to cover all the other compilation
targets. SSE3-PTHREADS and MPI being the most commonly used.
2018-02-02 18:31:40 +01:00
Vladimír Čunát
c9171e5a4c
Merge branch 'master' into staging
...
Hydra: ?compare=1430035
2018-01-30 19:51:33 +01:00
Renato Alves
b22e4976cb
muscle: init at 3.8.31
2018-01-28 12:32:46 +01:00
Markus Kowalewski
ec6e7c6eeb
octopus: init at 7.2
2018-01-27 16:23:04 -08:00
Tuomas Tynkkynen
c3a658deb1
Merge remote-tracking branch 'upstream/master' into staging
2018-01-27 21:53:16 +02:00
Alexey Shmalko
38fbc93f46
Merge pull request #34156 from arcadio/star
...
star: init at 2.5.3a
2018-01-27 17:02:16 +02:00
Vladimír Čunát
2d2dbe083f
Merge branch 'master' into staging
...
Hydra: ?compare=1429281
2018-01-27 09:14:22 +01:00
Timo Kaufmann
b223662ad1
sage: 8.0 -> 8.1, fix sandbox build
...
The sandboxed build was failing, because it relied heavily on
/usr/bin/env. This is fixed with a lot of shebang patching (both
to system packages and to sage-internal packages).
2018-01-26 14:42:24 +01:00
adisbladis
7a2d35d9db
Merge pull request #34119 from arcadio/master
...
igv: 2.3.98 -> 2.4.6
2018-01-25 18:33:49 +08:00
Samuel Leathers
efdb0983da
Merge pull request #34199 from arcadio/kallisto
...
kallisto: init at 0.43.1
2018-01-24 20:43:24 -07:00
Arcadio Rubio García
a7333e9ced
kallisto: init at 0.43.1
2018-01-24 16:16:46 +00:00
Arcadio Rubio García
72d675b23c
star: init at 2.5.3a
2018-01-24 16:07:15 +00:00
Frederik Rietdijk
769342b37b
Merge remote-tracking branch 'upstream/master' into HEAD
2018-01-24 14:17:49 +01:00
Daiderd Jordan
5569851745
R: fix dylib install_name on darwin
2018-01-24 00:23:16 +01:00
Frederik Rietdijk
8510550b77
Merge pull request #34169 from Infinisil/add/almonds
...
almonds: init at 2015-12-27
2018-01-23 17:37:54 +01:00
Silvan Mosberger
8e8a259df4
almonds: init at 2015-12-27
2018-01-23 14:16:28 +01:00
adisbladis
266979a360
Merge pull request #34125 from arcadio/bwa
...
bwa: 0.7.16a -> 0.7.17
2018-01-23 20:12:56 +08:00
adisbladis
b0603f514b
Merge pull request #34139 from arcadio/bedtools
...
bedtools: 2.26.0 -> 2.27.1
2018-01-23 12:56:01 +08:00
Will Dietz
a5a64cfcb1
lean: fixup nativeBuildInputs vs buildInputs
2018-01-22 17:19:02 -06:00
adisbladis
7490d4d698
Merge pull request #34140 from arcadio/picard
...
picard-tools: 2.7.1 -> 2.17.4
2018-01-22 23:57:10 +08:00
Arcadio Rubio García
612953567d
bowtie2: 2.3.3.1 -> 2.3.4
2018-01-22 12:28:06 +00:00
Arcadio Rubio García
12c5dc343f
picard-tools: 2.7.1 -> 2.17.4
2018-01-22 12:16:26 +00:00
Arcadio Rubio García
c75e91a374
bedtools: 2.26.0 -> 2.27.1
2018-01-22 12:09:44 +00:00
Arcadio Rubio García
0d05bcae8c
bwa: 0.7.16a -> 0.7.17
2018-01-22 01:58:36 +00:00
Arcadio Rubio García
550e6146d4
igv: 2.3.98 -> 2.4.6
2018-01-21 21:07:44 +00:00
Sarah Brofeldt
adf80590ae
Merge pull request #33924 from markuskowa/molden-pr
...
molden: init at 5.7
2018-01-21 12:19:48 +01:00
Mitsuhiro Nakamura
1ed47cf214
mathematica: enable installation of localized editions
...
For now English (default) and Japanese editions only.
Fill out information in `l10ns.nix` to add the other localized editions.
Example usage: `mathematica.override { lang = "ja"; }` derives Japanese edition.
2018-01-19 21:42:52 +09:00
Miguel Madrid Mencía
8fb2be6772
weka: 3.8.1 -> 3.8.2
2018-01-18 15:25:35 +01:00
Yegor Timoshenko
506c89c30a
maintainers: remove mornfall from packages
2018-01-17 05:17:33 +00:00
Markus Kowalewski
1c1e49a5c5
molden: init at 5.7
2018-01-15 23:06:41 -08:00
Ashley Gillman
245a67df8b
dcm2niix: cmake is native, style
2018-01-15 16:53:28 +10:00
Ashley Gillman
271d4a7ca0
dcm2niix: init at 1.0.20170130
2018-01-15 16:45:03 +10:00
David Asabina
b986078593
bitscope: refactored to pass nixpkgs-lint
...
The linter (nixpkgs-lint) was not able to find the bitscope packages
because `recurseIntoAttrs` was not applied to the suite's set.
The name supplied to `buildFHSUserEnv` produces a binary that
corresponds to the binary names in the deb packages (e.g.: bitscope-dso,
bitscope-chart, bitscope-logic, etc), however; this name does not
constitute a valid nixpkgs name. Valid nixpkgs names satisfy the
`/(.*)(-[0-9].*)$/` pattern, therefore a valid name is merged into the
derivation produced by `buildFHSUserEnv`.
2018-01-14 20:00:10 +01:00
adisbladis
ff94fbc416
Merge pull request #33851 from vbgl/why3-0.88.3
...
why3: 0.88.1 -> 0.88.3
2018-01-15 01:27:45 +08:00
adisbladis
a41d7b9ea1
Merge pull request #33839 from mimadrid/update/gephi-0.9.2
...
gephi: 0.9.1 -> 0.9.2
2018-01-15 01:10:52 +08:00
Vincent Laporte
aee1cebda7
why3: 0.88.1 -> 0.88.3
2018-01-14 05:51:06 +00:00
Miguel Madrid Mencía
eb21bf3d99
cytoscape: 3.5.1 -> 3.6.0
2018-01-13 23:21:49 +01:00
Miguel Madrid Mencía
111d4dbc06
gephi: 0.9.1 -> 0.9.2
2018-01-13 23:18:26 +01:00
adisbladis
5f232de6cd
qgroundcontrol: 2.9.4 -> 3.2.7, unbreak build
2018-01-13 04:03:38 +08:00
Luz
e056315a3e
librepcb-unstable: init at 2017-12-29 ( #33630 )
2018-01-11 09:20:00 +00:00
Austin Seipp
4d4340805b
symbiyosys: 2017.12.06 -> 2018.01.10
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10 14:00:58 -06:00
Symphorien Gibol
bf49c616ee
giac: fix build
...
giac was broken somewhere between 310ad4 and b33b4a, see
https://hydra.nixos.org/build/67137469
libgfortran.so.3 was not found
2018-01-10 18:42:38 +01:00
Samuel Dionne-Riel
7b97c8c0c8
treewide: homepage+src updates (found by repology, #33263 )
2018-01-05 20:42:46 +01:00
Austin Seipp
ebeb95d18b
z3: 4.5.0-2017-11-06 -> 4.6.0
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
Vladimír Čunát
1fcd92ce92
Merge branch 'master' into staging
...
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
2017-12-31 09:53:49 +01:00
Orivej Desh
e87a82b010
cntk: mark as broken
...
It never succeeded to build. @abbradar did not respond at
94dc37d622
2017-12-31 08:14:14 +00:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant
...
Make cross compilation elegant
2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d
treewide: Don't use envHook anymore
...
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
2017-12-30 22:04:22 -05:00
Austin Seipp
ff555bdaeb
tamarin-prover: enable tests
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:39:38 -06:00
Austin Seipp
bae2e7ceb3
nixpkgs: add sapic as a dependency to tamarin-prover
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
3813ab2589
nixpkgs: init sapic 0.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
a31bdc0739
nixpkgs: add 'graphviz' to tamarin-prover dependencies
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
abcfa6f608
nixpkgs: add tamarin-prover 1.3.0 (dev) tool
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 18:23:15 -06:00
David Asabina
810ec3f8bd
bitscope: init at 2017-12-28
2017-12-30 21:58:27 +01:00
Frederik Rietdijk
2d0bead714
Merge remote-tracking branch 'upstream/master' into HEAD
2017-12-30 17:04:54 +01:00
Orivej Desh
77cc63950a
wxmaxima: build with cmake
...
Fixes reported version number: see
https://github.com/NixOS/nixpkgs/pull/31657#issuecomment-354414642
"make check" did not run any tests with autotools, and is not defined with
cmake. ("make test" is not defined too.)
2017-12-29 21:00:03 +00:00
Vladimír Čunát
f29000b002
Merge branch 'master' into staging
...
Hydra: ?compare=1421760
2017-12-29 10:13:33 +01:00
Robin Gloster
ee1c85aee9
mariadb: lib -> connector-c
2017-12-29 02:18:35 +01:00
Nick Hu
8640e286b4
fdr: 4.2.0 -> 4.2.3
2017-12-29 02:01:31 +01:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide
2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593
Specify the coq version in a more consistent location
2017-12-21 01:24:35 -08:00
Justin Bedo
a49c91f655
snpeff: 4.3p -> 4.3t
2017-12-21 10:52:26 +11:00
Vincent Laporte
4c454a3208
coq: minor cleaning
2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b
drat-trim: fix build on darwin
2017-12-17 13:19:34 +00:00
Orivej Desh
fe9bf3ed23
Merge pull request #32648 from berce/upstream-kicad
...
kicad: init unstable at version 2017-12-11
2017-12-17 05:03:29 +00:00
Orivej Desh
c780dba59c
kicad: show version
2017-12-17 05:02:51 +00:00
Orivej Desh
f314157041
kicad-unstable: set version
2017-12-17 04:49:00 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim
...
drat-trim: init at 2017-08-31
2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829
drat-trim: init at 2017-08-31
...
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work. It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
2017-12-17 00:27:52 +00:00
Bert Moens
5e0344dce9
kicad: add support for oce, ngspice and scripting
2017-12-17 00:20:45 +00:00
Bert Moens
af5272f599
kicad: add unstable version
2017-12-17 00:10:28 +00:00
Vincent Laporte
12c5fe3e2d
ocamlPackages.cairo2: 0.4.6 -> 0.5
2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7
coq_8_7: 8.7.0 -> 8.7.1
2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a
z3_4_5_0: New expression, to access the release version's API
2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
...
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
...
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27
2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging
2017-12-09 21:00:07 +01:00
markuskowa
66da9b9f8f
gpredict: init at 1.3 ( #32436 )
2017-12-09 09:45:29 +00:00
Vladimír Čunát
6f5d989478
treewide: checkMeta fixes for x86_64-linux
2017-12-07 07:50:47 -05:00
Orivej Desh
9f8ec7e4d3
stp: disable parallel building
2017-12-07 08:52:42 +00:00
Orivej Desh
812e0bced1
shogun: fix parallel building
2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746
nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove
2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242
glucose-syrup: Remove unused fetchurl argument
2017-12-01 21:13:21 -08:00
Jörg Thalheim
ae096444a2
simgrid: 3.15 -> 3.17 ( #32114 )
...
* simgrid: 3.15 -> 3.17 + clean + add options
* Add myself as maintainer
* Fix typo
2017-12-01 22:14:24 +00:00
Orivej Desh
1f99fd6965
libminc: fix build after hdf5 upgrade by using hdf5_1_8
2017-12-01 00:37:29 +00:00
Peter Simons
b0f82f0f2d
R: update to 3.4.3
2017-11-30 18:45:48 +01:00
MERCIER Michael
42ec4556bd
Fix typo
2017-11-28 13:13:01 +01:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4
2017-11-27 17:00:15 +00:00
MERCIER Michael
8fa00adf1a
Add myself as maintainer
2017-11-27 17:58:49 +01:00
MERCIER Michael
0cace1fbd2
simgrid: 3.15 -> 3.17 + clean + add options
2017-11-27 17:50:25 +01:00
Orivej Desh
4f73b3162b
treewide: preset windres missing to fix builds on Linux
...
https://github.com/NixOS/nixpkgs/pull/30484#issuecomment-345899910
2017-11-21 04:27:10 +00:00
Maximilian Bosch
38af8ec720
stellarium: 0.15.0 -> 0.16.1
...
The 0.16-releases contain several useful new features:
https://launchpad.net/stellarium/0.16/0.16.1
I also added myself as maintainer to have more people available if the
package breaks a release.
2017-11-19 12:01:15 +01:00
rybern
ef0486b1f9
vcftools: init at 0.1.15 ( #31339 )
2017-11-16 09:52:56 +02:00
Orivej Desh
089e0aaf72
pulseview: fix build
2017-11-16 00:40:16 +00:00
Joerg Thalheim
67092ffd43
spyder: 2.3.8 -> 3.2.4
2017-11-15 15:49:05 +00:00
Moritz Kiefer
c0f08557b9
why3: 0.87.3 -> 0.88.1
2017-11-15 10:15:12 +01:00
Dan Haraj
bdce7d3a04
sc2-headless: add pysc2 minigame map pack
2017-11-14 14:37:53 -05:00
Peter Simons
d70a021b95
maxima: 5.40.0 -> 5.41.0
2017-11-14 13:23:48 +01:00
Joerg Thalheim
21423521e6
wxmaxima: 15.04.0 -> 17.10.1
...
also fix crash at start-up due missing icons
fixes #18479
2017-11-14 11:28:00 +00:00
Renaud
2d8d35e342
Merge pull request #31564 from Mounium/aliza
...
aliza: 1.29.2->1.36.3
2017-11-12 22:07:01 +01:00
Katona László
c2d9871823
aliza: 1.29.2->1.36.3
2017-11-12 17:46:37 +01:00
Michael Raskin
eaaaebe00a
golly: 2.8 -> 3.1
2017-11-11 15:31:37 +01:00
Michael Raskin
563b08c7c4
pari: 2.9.1 -> 2.9.3
2017-11-11 15:31:36 +01:00
Michael Raskin
20b6b3cf0e
clingo: init at 5.2.2
...
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
2017-11-10 14:04:32 +01:00
Austin Seipp
063e4dca79
z3: update to latest git
...
This has some nice improvements, like new string and real arithmetic solvers.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-09 13:20:01 -06:00
Michael Raskin
27f7999280
glucose, glucose-syrup: 4.0 -> 4.1
2017-11-08 09:55:29 +01:00
Michael Raskin
6475fa9b25
Merge pull request #31298 from timokau/sage-fix
...
sage: 6.8 -> 8.0
2017-11-06 01:25:28 +00:00
Michael Raskin
85eac6ff73
Restrict platforms to what is known to work.
2017-11-06 01:25:04 +00:00
Timo Kaufmann
fe68ba81d2
sage: 6.8 -> 8.0
...
This "un-breaks" sage while also updating it to 8.0.
It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.
To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
2017-11-05 17:37:40 -06:00
Austin Seipp
5fc4f17862
yices: 2.5.3 -> 2.5.4
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
e27e0ebe48
cvc4: unstable-2017-05-18 -> 1.5
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
9cb5201d33
yosys/symbiyosys: 2017.10.16 -> 2017.11.05
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Ben Gamari
7eecac6f46
ngspice: Build shared library
...
This builds the libngspice shared library which is used by development
versions of kicad.
2017-11-02 19:26:06 -04:00
Piotr Bogdan
8904ce343a
fix source root locations.
...
These have changed following commit
c3255fe8ec
.
See also:
- https://github.com/NixOS/nixpkgs/pull/31004
- https://github.com/NixOS/nixpkgs/pull/31106
2017-11-02 13:53:36 +00:00
Daiderd Jordan
b93df24078
pari: enable darwin build
2017-10-30 18:24:22 +01:00
Edward Tjörnhammar
9acbfbc7b7
shogun: init at 6.0.0
2017-10-29 10:20:55 +01:00
Edward Tjörnhammar
77d3869f27
colpack: init at 1.0.10
2017-10-29 10:20:54 +01:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
Tuomas Tynkkynen
a4833730c4
cntk: Disable parallel building
...
https://hydra.nixos.org/build/62781346
2017-10-22 18:19:03 +03:00
Ryan Bernstein
941014ffff
bowtie2: init at 2.3.3.1
2017-10-22 00:11:49 +02:00
Dmitry Kalinkin
ef2fc289a6
root: 6.10.04 -> 6.10.08
2017-10-20 00:59:21 -04:00
Nikolay Amiantov
94dc37d622
cntk: init at 2.2
2017-10-19 13:24:24 +03:00
Nikolay Amiantov
57f82de364
caffe: 1.0-rc5 -> 1.0
...
Fix build with cudatoolkit9.
2017-10-19 12:47:30 +03:00
Austin Seipp
26891c576c
nixpkgs: gtkwave 3.3.70 -> 3.3.86
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-17 01:28:08 -05:00
John Ericson
6e1f864fd0
sc2-headless: License is unfree
...
I wrongly assumed that was the default when reviewing the PR.
2017-10-16 17:06:48 -04:00
Dan Haraj
188a413ebc
sc2-headless: init at 3.17
...
This packages up the Starcraft II headless Linux client provided by
Blizzard for machine learning research.
2017-10-16 16:34:00 -04:00
Austin Seipp
cd52a3d53c
aiger: fix stupid incorrect download link
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 13:01:51 -05:00
Austin Seipp
635fbcbd33
nixpkgs: add aiger 1.9.9
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
b72f543f96
picosat: install more stuff
...
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762
nixpkgs: add 'avy' -- property directed AIGER model checking
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da
nixpkgs: add symbiyosys, for HDL verification flows
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Simon Lackerbauer
800f751740
abella: 2.0.2 -> 2.0.4
2017-10-16 02:39:16 +02:00
Vincent Laporte
1529938fc3
cubicle: 1.0.2 -> 1.1.1
2017-10-11 07:38:27 +00:00
Maxime Dénès
d1e1ee7b09
coq: 8.7+beta1 -> 8.7+beta2
2017-10-11 03:02:01 +02:00
Gabriel Ebner
79ae9be220
libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0
2017-10-10 13:28:38 +02:00
Gabriel Ebner
a936d9d6dc
isabelle: 2016-1 -> 2017
2017-10-10 11:18:57 +02:00
Orivej Desh
66d4941afe
Merge branch 'master' into staging
...
* master: (48 commits)
Mathematica: 11.0.1 -> 11.2.0
kbfs: 20170922.f76290 -> 20171004.40555d
packer: 1.0.3 -> 1.1.0
libxdg-basedir: 1.0.2 -> 1.2.0
fscrypt: 0.2.1 -> 0.2.2
devtodo: init at 0.1.20
keybase: 1.0.30 -> 1.0.33
elixir: Fix locale problem on NixOS
keybase-gui: 1.0.25 -> 1.0.33
terraform: 0.10.2 -> 0.10.7 (#30055 )
emby: 3.2.32.0 -> 3.2.33.0
sbcl: 1.3.21 -> 1.4.0
ardour: 5.11 -> 5.12
axoloti: fix evaluation
axoloti: init at 1.0.12-1
melpa-packages: Add new lean packages
fastlane: init at 2.60.1
nixos/traefik: guard example path
go-ethereum: 1.7.0 -> 1.7.1
xzgv: 0.9.1 -> 0.9.2
...
2017-10-05 07:41:39 +00:00
Guanpeng Xu
2eeb00441d
Mathematica: 11.0.1 -> 11.2.0
2017-10-05 07:54:16 +02:00
Will Dietz
5bf645cde5
caneda: git-2012-02-16 -> 0.3.1
...
cc #15558
Components are now part of the base install
(previously it seems no components were included),
which I believe mostly removes the need for the srcComponents bit.
Debian is only other distro packaging this according
to repology, and they don't include additional libraries
which further suggests they're at least non-essential :).
As for the Caneda/Libraries repository, copying these
into the "libraries" directory with similar files
does not cause them to be auto-registered anyway,
as far as I can tell the application has a static
list of components (in the source) and additional
components need to be added using the GUI
making bundling them a bit useless and misleading.
caneda also now requires qt5 and doesn't appear to require
either libxml2 or libxslt.
2017-10-03 15:45:50 -05:00
Orivej Desh
f137004179
Merge branch 'master' into staging
...
* master: (81 commits)
Add NixOS 17.09 AMIs
gradle: 4.2 -> 4.2.1
maintainers.nix: use my GitHub handle as maintainer name
fcitx-engines.rime: init at 0.3.2
brise: init at 2017-09-16
librime: init at 1.2.9
marisa: init at 0.2.4
opencc: build shared library and programs
josm: 12712 -> 12914
exa: 0.7.0 -> 0.8.0
krb5: add deprecation date for old configuration
rustRegistry: 2017-09-10 -> 2017-10-03
go-ethereum: Fix libusb segmentation faults on Darwin
tor-browser-bundle-bin: 7.0.5 -> 7.0.6
libsodium: 1.0.13 -> 1.0.15
tor-browser-bundle: geoip support
tor-browser-bundle: support transports obfs2,obfs3
tor-browser-bundle: bump https-everywhere to 2017.9.12
tint2: limit platforms to Linux since macOS is not supported and fails the tests
eclipse-plugin-vrapper: init at 0.72.0
...
2017-10-03 17:46:39 +00:00
Gabriel Ebner
dcd5580909
tptp: 6.4.0 -> 7.0.0
2017-10-02 11:46:33 +02:00
Orivej Desh
047c576353
Merge pull request #29963 from mimadrid/update/samtools-1.6.0
...
samtools: 1.5.0 -> 1.6.0
2017-10-02 01:07:11 +00:00
Orivej Desh
fda26c8476
Merge branch 'master' into staging
...
* master: (271 commits)
pysmbc: clarify license
pysmbc: fix license
bazel: 0.5.4 -> 0.6.0 (#29990 )
googler: init at 3.3
go: declare support for aarch64
firefox-beta-bin: 56.0b5 -> 57.0b4
spotify: 1.0.64.401.g9d720389-21 -> 1.0.64.407.g9bd02c2d-26
gogs: 0.11.19 -> 0.11.29
grafana: 4.5.1 -> 4.5.2
mopidy-iris: 3.4.1 -> 3.4.9
nextcloud: 12.0.2 -> 12.0.3
haskell-json-autotype: jailbreak to fix build within LTS 9.x
kore: fix up
kore: init at 2.0.0
glusterfs service: fix issues with useRpcbind
tig: 2.2.2 -> 2.3.0
haskell-hspec-core: enable test suite again
hackage-packages.nix: automatic Haskell package set update
librsvg: fix thumbnailer path
awscli: 1.11.108 -> 1.11.162
...
2017-10-02 00:22:12 +00:00
Orivej Desh
eaf9e31f86
Merge pull request #29859 from pvgoran/fix-gmsh
...
gmsh: 2.12.0 -> 3.0.5
2017-10-01 08:52:42 +00:00
Pavel Goran
e57f8b67f3
gmsh: 2.12.0 -> 3.0.5
2017-10-01 08:51:56 +00:00
Orivej Desh
d73bd7f50a
bcftools: fix up
2017-10-01 07:45:19 +00:00
Orivej Desh
09a5396982
samtools: fix up
2017-10-01 07:36:30 +00:00
Orivej Desh
9592bf8c24
Merge pull request #29947 from symphorien/giac
...
giac, xcas: init at 1.4.9
2017-09-30 22:50:53 +00:00
Orivej Desh
0c14753a4a
giac: refactor
2017-09-30 22:48:03 +00:00
Robin Gloster
40ed226507
treewide: mark a bunch of failing builds as broken
...
(cherry picked from commit 23fdbaa37599f490435056b9865023870656571b)
[dezgeg: Un-mark shotcut, tokei & uchiwa that do build on master]
2017-10-01 00:26:52 +03:00
mimadrid
bebccf176e
bcftools: 1.5.0 -> 1.6.0
2017-09-30 22:22:25 +02:00
mimadrid
ee2c76693e
samtools: 1.5.0 -> 1.6.0
2017-09-30 22:20:02 +02:00
Franz Pletz
d7d774deea
gplates: mark as broken
...
(cherry picked from commit 5b09ca07b8cf3ea87838a5b4af555e2830948ff1)
2017-09-30 22:55:29 +03:00
Franz Pletz
1b56f7cbb4
openmodelica: mark as broken, unmaintained
...
(cherry picked from commit d9298e3a00edc796b040373a64a6284f60813278)
2017-09-30 22:55:27 +03:00
Symphorien Gibol
10a612120f
xcas, giac: add myself as maintainer
2017-09-30 21:40:50 +02:00
Symphorien Gibol
79df9105ba
giac, xcas: init at 1.4.9
2017-09-30 12:29:31 +02:00
Peter Simons
4239d3bcba
R: update to version 3.4.2
2017-09-29 15:21:09 +02:00
Franz Pletz
0dc882e3d4
kicad: don't try to build on hydra
2017-09-29 01:52:15 +02:00
John Ericson
f037625f87
Merge remote-tracking branch 'upstream/staging' into deps-reorg
2017-09-28 12:32:57 -04:00
Vincent Laporte
b831b243ff
clp: init at 1.16.11
2017-09-28 13:33:36 +00:00
Robin Gloster
7cbf3a27de
freebayes: clean up build
2017-09-28 00:54:01 +02:00
Samuel Leathers
a3e2ecd7f7
freebayes: 1.1.0 -> 2017-08-23
2017-09-28 00:54:01 +02:00
Tuomas Tynkkynen
9824ca6975
caffe: Make 'bin' the first output
...
So ${caffe}/bin/foo always works in scripts.
2017-09-27 00:39:55 +03:00
Nikolay Amiantov
67bbe467a4
mxnet: disable GPU autodetection
2017-09-25 22:46:44 +03:00
Michael Raskin
f7d7c7bedf
singular: use gcc5
...
Progress on: #28643
Fixes : #29682
2017-09-23 10:16:47 +02:00
mimadrid
676db57c37
calc: 2.12.6.1 -> 2.12.6.3
2017-09-23 00:13:42 +02:00
Tuomas Tynkkynen
4acb425c39
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
2017-09-22 21:16:39 +03:00
Tuomas Tynkkynen
4b4bfbf3e5
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
2017-09-22 19:49:57 +03:00
Vincent Laporte
3b7c68615e
abella: fix build with OCaml ≥ 4.03
2017-09-22 03:32:06 +00:00
Joachim F
44d2eaab80
Merge pull request #29538 from bcdarwin/update-and-fix-ANTS
...
ants: bump version and fix sandboxed build
2017-09-21 22:08:40 +00:00
John Ericson
ed14223f8c
treewide: Manual fix more pkg-config build-inputs
2017-09-21 15:49:54 -04:00
John Ericson
531e4b80c9
misc pkgs: Basic sed to get fix pkgconfig
and autoreconfHook
buildInputs
...
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Ben Darwin
c7bbe471b0
ants: bump version and fix sandboxed build
2017-09-20 18:42:34 -04:00
Nikolay Amiantov
c71d8a1aeb
mxnet: init at 0.11.0
2017-09-16 04:40:55 +03:00
Franz Pletz
b19fa00e3e
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
...
This reverts commit 5e5e57b57b
.
Already fixed with edd94f5fcd
.
2017-09-15 21:51:35 +02:00
Gabriel Ebner
aad00e35db
lean: 3.2.0 -> 3.3.0
2017-09-15 08:48:02 +02:00
Vincent Laporte
cc5491d02c
proverif: 1.95 -> 1.97pl1
2017-09-13 20:01:55 +02:00
timor
124b3c8ead
qfsm: fix build with gcc 6 ( #29245 )
2017-09-11 20:26:24 +02:00
Bjørn Forsman
28f780b320
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.
2017-09-11 14:44:43 +02:00
Maarten Hoogendoorn
5e5e57b57b
mcrl2: force use of gcc5 to prevent compilation errors
2017-09-10 15:09:46 +02:00
Bjørn Forsman
15c18cef3d
kicad: 4.0.6 -> 4.0.7
2017-09-09 13:05:07 +02:00
Bjørn Forsman
dfbb710375
kicad: put the full version string in name
2017-09-09 13:03:09 +02:00
Markus Mueller
edd94f5fcd
mcrl2: 201409 -> 201707
2017-09-08 18:26:25 +02:00
Nikolay Amiantov
c4bed3043d
caffe: add Python support
...
Move to CMake in the process.
2017-09-07 17:04:29 +03:00
Nikolay Amiantov
88641353d6
caffe: 2015-07-02 -> 1.0-rc5
2017-09-07 17:04:29 +03:00
Théo Zimmermann
9efd7a9b6e
coq_8_7: init at 8.7+beta1
2017-09-06 21:16:41 +02:00
Théo Zimmermann
a26bbe547e
coq: fetch source from GitHub
2017-09-06 21:16:41 +02:00
Michael Raskin
37392454f3
Merge pull request #28948 from disassembler/qucs
...
Qucs: version update and adms dependency
2017-09-06 20:24:55 +02:00
Robin Gloster
a0967948d9
bwa: 0.7.15 -> 0.7.16a
2017-09-05 14:42:45 +02:00
Gabriel Ebner
b2eff3c60d
eprover: 1.9.1 -> 2.0
2017-09-05 13:59:07 +02:00
Samuel Leathers
00753e078d
qucs: 0.0.18 -> 0.0.19
2017-09-03 14:21:52 -04:00
Samuel Leathers
df1d5a4827
adms: init at 2.3.6
2017-09-03 14:21:16 -04:00
Samuel Leathers
d9cd226a6d
neuron: 7.4 -> 7.5
2017-09-02 16:58:14 -04:00
Austin Seipp
54ae0aa1b0
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>
2017-09-02 04:19:11 -05:00
Austin Seipp
583ebc086c
yices: now under GPLv3
...
This means Hydra can build it now!
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
fc143bf1a3
iverilog: 2016.05.21 -> 2017.08.12
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Samuel Leathers
04b8a85739
caneda: fix build with gcc6
2017-08-31 22:59:37 -04:00
Jörg Thalheim
4acdb408c0
Merge pull request #28801 from veprbl/sherpa_2_2_4
...
sherpa: 2.2.1 -> 2.2.4
2017-08-31 21:07:54 +01:00
Dmitry Kalinkin
59b525e559
sherpa: 2.2.1 -> 2.2.4
2017-08-31 14:32:05 -04:00
Jörg Thalheim
ed997b153c
Merge pull request #28756 from disassembler/pulseview-sigrok
...
pulseview and sigrok updates
2017-08-31 09:28:44 +01:00
Dmitry Kalinkin
7c7ca7f017
root: add noSplash option
2017-08-30 19:56:53 -04:00
Samuel Leathers
b39462d0c3
pulseview: 0.3.0 -> 0.4.0
2017-08-30 13:52:17 -04: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