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
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
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta
2017-07-15 09:27:41 +02:00
Dmitry Kalinkin
459e3864d2
root: 6.10.00 -> 6.10.02
2017-07-14 04:40:27 -04:00
Vincent Laporte
8bafd3aaa4
ginac: 1.6.2 -> 1.7.2
2017-07-13 19:35:06 +02:00
Michael Raskin
dcbe96d260
Merge pull request #27197 from kquick/master
...
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
2017-07-08 22:37:12 +02:00
Vincent Laporte
eb2be6d97e
acgtk: 1.1 -> 1.3.1
2017-07-08 08:52:02 +02:00
Vincent Laporte
43b2b55743
hol_light: 2016-07-23 -> 2017-07-06
2017-07-08 06:14:43 +00:00
Kevin Quick
6cbd9ce8f9
Fix license reference for added libpoly library.
2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b
Update yices to add libpoly/mcsat functionality and add soname target.
2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee
Add poly library for manipulating polynomials.
2017-07-06 21:30:30 -07:00
Katona László
b86eb39a58
aliza: 1.28.10->1.29.2
2017-07-02 23:39:08 +02:00
Peter Simons
4c5577b504
R: update to version 3.4.1
2017-06-30 13:37:26 +02:00
Shea Levy
24c59a4452
neuron: enable GUI
2017-06-28 11:59:54 -04:00
Maximilian Bosch
9516bbf172
geogebra: make language
configurable
2017-06-27 09:51:06 +02:00
Vincent Laporte
ac83ef3994
glsurf: 3.3 -> 3.3.1
2017-06-26 19:24:33 +02:00
Joachim F
90d3a0314c
Merge pull request #26836 from Ma27/update/geogebra
...
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 16:35:13 +01:00
Maximilian Bosch
f5665e9ab4
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 12:39:30 +02:00
Jörg Thalheim
ad42e5f6e5
Merge pull request #26795 from veprbl/root_6.10.00
...
root: 6.09.02 -> 6.10.00
2017-06-25 09:14:30 +01:00
Dmitry Kalinkin
ada12f46dc
root: 6.09.02 -> 6.10.00
...
also workaround #26197
2017-06-24 13:38:25 -04:00
Frederik Rietdijk
4f0d812abc
python.pkgs.spyder: remove maintainers
...
since we both do not use this package anymore.
cc @bjornfor
2017-06-23 10:44:42 +02:00
Franz Pletz
b6cf652e08
boinc: 7.4.42 -> 7.8.0
2017-06-20 05:19:31 +02:00