nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 00:12:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
118,010 Commits 232 Branches 124 Tags 7.4 GiB
188a413ebc
Commit Graph

1389 Commits

Author SHA1 Message Date
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