Katona László
c2d9871823
aliza: 1.29.2->1.36.3
2017-11-12 17:46:37 +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