alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
141828 commits 217 branches 121 tags 4.5 GiB
Commit graph

1802 commits

Author SHA1 Message Date
Ryan Mulligan 9af7602b8a bcftools: 1.6 -> 1.7 
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -h` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --help` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools help` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -v` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --version` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools version` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -h` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --help` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools help` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/plot-vcfstats -h` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/plot-vcfstats --help` got 0 exit code
- found 1.7 with grep in /nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7
 2018-02-25 09:02:06 -08:00
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 23fdbaa375)
[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 5b09ca07b8)
 2017-09-30 22:55:29 +03:00
Franz Pletz 1b56f7cbb4 openmodelica: mark as broken, unmaintained 
(cherry picked from commit d9298e3a00)
 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
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
Maximilian Bosch 242d950ab3
geogebra: 5-0-377-0 -> 5-0-382-0 2017-08-18 21:40:58 +02:00
Ryan Bernstein 749e702a46 poretools: version number to commit date 2017-08-18 09:59:26 -04:00
Matthew Bauer b3d8c08a55 acgtk: fix homepage url 2017-08-17 15:04:37 -07:00
Matthew Bauer 59c5f52f67 caneda: use caneda.org for homepage 2017-08-17 15:04:37 -07:00
Matthew Bauer 99c868c010 use https://github.com for all homepages 
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
 2017-08-17 14:53:40 -07:00
Ryan Bernstein a13e4ad1f5 poretools: init at 0.6.0 2017-08-17 11:17:30 -04:00
Frederik Rietdijk 006edcc316 Merge pull request #27440 from mnacamura/mathematica11_fix_ldpath 
mathematica: fix library paths
 2017-08-13 22:55:18 +02:00
Frederik Rietdijk b14efb6a6c Merge pull request #28211 from mimadrid/update/samtools-1.5.0 
samtools: 1.4.0 -> 1.5.0
 2017-08-13 22:32:48 +02:00
Frederik Rietdijk 3f642af583 Merge pull request #28062 from lsix/update_motu-client 
motu-client: 1.0.8 -> 1.4.0
 2017-08-13 22:08:54 +02:00
Frederik Rietdijk 6e386925ac Merge pull request #28229 from jpierre03/pr-alt-ergo 
alt-ergo: use https instead of http to fetch archive
 2017-08-13 22:01:59 +02:00
Frederik Rietdijk 13bbaee21d Merge pull request #27881 from mimadrid/fix/http-https 
Update homepage attributes: http -> https
 2017-08-13 21:53:20 +02:00
Frederik Rietdijk 7ebcd39a0f Merge commit '4c49205' into HEAD 2017-08-13 18:34:59 +02:00
Jean-Pierre PRUNARET 184d2e7977 alt-ergo: use https instead of http to fetch archive 2017-08-13 13:26:30 +02:00
mimadrid 15a99ae367
bcftools: 1.4.0 -> 1.5.0 2017-08-13 00:17:48 +02:00
mimadrid ca45a26ec3
samtools: 1.4.0 -> 1.5.0 2017-08-13 00:17:25 +02:00
Will Dietz fbb6b90ed0 yices: 2.5.1 -> 2.5.2 2017-08-12 13:02:33 -05:00
pe@pijul.org 443ac23336 Gwyddion: init at 2.48 2017-08-11 20:30:11 +02:00
Lancelot SIX 38f3153caa
motu-client: 1.0.8 -> 1.4.0 2017-08-09 10:08:14 +02:00
davidak 3270aa896b replace "Mac OS X" and "OS X" with "macOS" 
as it is the official name since 2016

https://en.wikipedia.org/wiki/Macintosh_operating_systems#Desktop

exception are parts refering to older versions of macOS like

"GUI support for Mac OS X 10.6 - 10.12. Note that Emacs 23 and later [...]"
 2017-08-07 21:41:30 +02:00
Vincent Laporte eb7312ca7d maxima: 5.39.0 -> 5.40.0 2017-08-05 10:48:50 +02:00
Théo Zimmermann 057ffcf0dd coq: adding myself to the maintainers 2017-08-04 19:52:55 +02:00
Théo Zimmermann b25d65e051 coq: use camlp5_strict 
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
 2017-08-04 19:52:54 +02:00
Théo Zimmermann c0dca2fb00 coq: 8.6 -> 8.6.1 2017-08-04 19:52:51 +02:00
mimadrid 09e0cc7cc7
Update homepage attributes: http -> https 
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated
https://repology.org/repository/nix_stable/problems
 2017-08-03 11:56:15 +02:00
Silvan Mosberger f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809) 
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
 2017-08-01 22:03:30 +02:00
Frederik Rietdijk 3ed7975b65 Merge pull request #27844 from mimadrid/update/igv-2.3.98 
igv: 2.3.89 -> 2.3.98
 2017-08-01 21:52:33 +02:00
Frederik Rietdijk d1af3b33aa Merge pull request #27006 from Infinisil/scyther 
scyther: init at 1.1.3
 2017-08-01 21:48:47 +02:00
mimadrid 20fb18bdbc
igv: 2.3.89 -> 2.3.98 2017-08-01 20:46:31 +02:00
John Wiegley ea8798acc6
coq2html: New expression 2017-08-01 09:30:20 -07:00
Frederik Rietdijk 903d9daf0f Merge pull request #27816 from mimadrid/update/calc-2.12.6.1 
calc: 2.12.5.3 -> 2.12.6.1
 2017-08-01 09:19:29 +02:00
mimadrid eaf1198f39
calc: 2.12.5.3 -> 2.12.6.1 2017-07-31 23:27:29 +02:00
Gabriel Ebner b94da10c27 libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0 2017-07-31 16:29:39 +01:00
Franz Pletz 5d2f5e374f
verilator: build with current flex 2017-07-29 19:51:16 +02:00
Maximilian Bosch 02ceec5343 geogebra: 5-0-369-0 -> 5-0-377-0 2017-07-26 23:06:30 +02:00
Peter Hoeg 45248be2aa cryptominisat: use new xxd package instead of vim 2017-07-24 09:37:58 +08:00
Silvan Mosberger 313b8b7e4b scyther: Separated into two derivations 2017-07-23 03:17:38 +02:00
Franz Pletz e69dfc252a
Revert "coq2html: New expression" 
This reverts commit 31437ccf7a.
 2017-07-20 19:36:50 +02:00
John Wiegley 31437ccf7a
coq2html: New expression 2017-07-20 11:51:25 -04:00
Mitsuhiro Nakamura fb2302e115 Add missing 'math' 2017-07-19 17:39:36 +09:00
Mitsuhiro Nakamura 7aaea7297e Simplify the sed script 2017-07-19 15:18:44 +09:00
Jörg Thalheim 699f8e2f65 Merge pull request #26352 from Mounium/aliza 
aliza: init at 1.29.2
 2017-07-19 07:03:01 +01:00
Jörg Thalheim d945e3ccc4 Merge pull request #27366 from veprbl/version_bumps 
bump rivet, yoda, lhapdf
 2017-07-18 23:38:53 +01:00
Symphorien Gibol d7103eadc8 boolector: 1.{5,6} -> 2.4.1 2017-07-18 23:50:31 +02:00
Mitsuhiro Nakamura 488db3d392 mathematica: fix library paths 2017-07-18 19:45:43 +09:00
Gabriel Ebner 7ba1c7a9fb iprover: 0.8.1 -> 2.5 2017-07-17 22:45:27 +01:00
Silvan Mosberger 75fde4130d scyther: init at 1.1.3 2017-07-16 23:38:05 +02:00