1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 20:12:52 +00:00
nixpkgs/pkgs/development/tools
Jesse Haber-Kucharsky 99e06fe771 opam, aspcud: init packages for external solver (#16938)
The opam package manager relies on external solvers to determine package
management decisions it makes related to upgrades, new installations,
etc.

While, strictly speaking, an external solver is optional, aspcud is
highly recommended in documentation. Furthermore, even having a
relatively small number of packages installed quickly causes the limits
of the interal solver to be reached (before it times out).

Aspcud itself depends on two programs from the same suite: gringo, and
clasp.

On Darwin, Boost 1.55 (and thus Gringo) do not build, so we only support
Aspcud on non-Darwin platforms.
2016-09-12 10:44:50 +02:00
..
activator treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
alloy Add version attribute where maintainers |= nckx 2016-01-25 17:35:21 +01:00
analysis flow: Broken on i686 2016-09-02 18:54:39 +03:00
apktool treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
backblaze-b2 backblaze-b2: 0.4.4 -> 0.6.2 2016-07-21 14:45:35 -04:00
boomerang Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
boost-build Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
build-managers cmake: update setup-hook to take -isystem instead of -I into account 2016-09-08 09:10:00 +02:00
casperjs casperjs: do not move the current working directory 2016-05-29 20:53:36 +08:00
cdecl Change occurrences of gcc to the more general cc 2014-12-26 11:06:21 -06:00
chefdk chefdk: 0.10.0 -> 0.11.2 2016-03-10 17:19:30 -08:00
compass Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
continuous-integration treewide: Use makeBinPath 2016-08-23 01:18:10 +03:00
database treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
dcadec Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
deis buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
devpi-client Python: use PyPI mirror (#15001) 2016-04-26 13:38:03 +01:00
doctl doctl: init at 1.3.1 (#17066) 2016-07-19 12:30:35 +02:00
documentation Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
egg2nix Egg2nix: Bump to 0.5. 2015-01-19 15:43:25 +01:00
electron electron: 0.36.2 -> 1.2.2 2016-06-08 20:31:36 +02:00
erlang treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
flamegraph treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
galen galen: 2.2.4 -> 2.3.0 2016-07-14 10:52:13 +02:00
github/github-release treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
glide buildGoPackage: use Go 1.6 by default 2016-06-09 13:08:10 +02:00
gnulib treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
go-bindata no more goPackages 2016-06-09 13:08:00 +02:00
go-repo-root no more goPackages 2016-06-09 13:08:00 +02:00
go2nix buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
gocode no more goPackages 2016-06-09 13:08:00 +02:00
godep godep: ddd7fbf -> 73 2016-06-01 11:40:24 +01:00
goimports no more goPackages 2016-06-09 13:08:00 +02:00
golint buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
gotags no more goPackages 2016-06-09 13:08:00 +02:00
gotools buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
govers no more goPackages 2016-06-09 13:08:00 +02:00
gox buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
grabserial buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00
guile treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
haskell treewide: Use makeBinPath 2016-08-23 01:18:10 +03:00
heroku treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
icestorm nixpkgs: icestorm 2016.05.21 -> 2016.08.18 2016-08-19 01:55:13 +00:00
imatix_gsl imatix_gsl: fix build 2016-04-30 20:31:43 +02:00
java visualvm: init at 1.3.8 (#17745) 2016-08-15 05:45:48 +02:00
jmespath jp: init at 0.1.2 2016-07-21 10:42:54 -04:00
jo jo: init at 1.0 2016-03-11 19:33:13 +01:00
jp jp: init at 0.1.2 2016-07-21 10:42:54 -04:00
jq jq: build with oniguruma for regex support 2015-11-07 13:54:45 -05:00
kube-aws kube-aws: init at 0.8.1 2016-08-24 14:25:57 +02:00
leaps leaps: mark as broken 2016-08-26 13:46:05 +01:00
libsigrok sigrok: update whole suite to latest (2016-01) 2016-05-11 22:23:29 +02:00
libsigrokdecode sigrok: update whole suite to latest (2016-01) 2016-05-11 22:23:29 +02:00
literate-programming noweb: remove obsolete substituteInPlace 2016-08-27 21:54:55 +00:00
mdk mdk: init at 1.2.9 2016-02-21 13:56:40 -06:00
minizinc minizinc: init at 2.0.14 (#18308) 2016-09-06 06:16:42 +02:00
misc bsdbuild: init at 3.1 (#18069) 2016-09-05 23:28:42 +02:00
mypy-lang mypy-lang: 0.4.2 -> 0.4.3 (#17058) 2016-07-18 12:35:13 +02:00
neoload Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
nimble nimble: 0.7.2 -> 0.7.4 2016-06-11 14:53:08 +02:00
node-webkit systemd: Separate lib output 2016-09-05 19:17:14 +02:00
ocaml opam, aspcud: init packages for external solver (#16938) 2016-09-12 10:44:50 +02:00
omniorb Merge branch 'hardened-stdenv' into staging 2016-08-22 01:19:35 +01:00
packer packer: fixes compilation issues (#18217) 2016-09-02 17:13:38 +02:00
parse-cli-bin parse-cli-bin: 3.0.1 -> 3.0.5 2016-05-25 02:06:47 +02:00
parsing antlr3_4: init at 3.4 2016-09-06 18:19:17 +02:00
phantomjs fontconfig: split into multiple outputs 2015-10-05 12:23:56 +02:00
phantomjs2 Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
postiats-utilities postiats-utilities: init at 2.0.1 2016-05-12 07:37:53 -05:00
profiling treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
pup no more goPackages 2016-06-09 13:08:00 +02:00
pydb pydb: set meta.platforms 2014-11-12 16:03:00 +01:00
pypi2nix pypi2nix: wrong hash 2016-08-15 04:01:14 +02:00
quilt Turn more licenses into lib.licenses style 2014-11-06 00:48:16 +00:00
redis-dump redis-dump: init at 0.3.5 2016-05-02 17:31:30 +02:00
remarshal buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
repository-managers/nexus nexus: init at 2.12.0-01 2016-03-01 10:25:00 -06:00
rhc rhc: init at 1.36.4 2015-08-13 18:02:55 +02:00
ronn ronn: init at 0.7.3 2016-06-30 11:09:06 +01:00
rtags rtags: git-2016-04-29 -> 2.3 2016-08-29 13:33:36 +00:00
rucksack rucksack: init at 3.1.0 2015-06-20 02:06:20 -07:00
rust rustfmt: 0.4 -> 0.6 2016-08-26 14:17:14 +02:00
sass sass: init at 3.4.22 2016-05-20 10:41:06 -03:00
sassc sassc: v3.2.4 -> v3.3.2 2015-12-10 17:27:46 -05:00
sauce-connect sauce-connect: listify phases and run in correct order 2016-06-23 12:13:24 +02:00
scalafmt scalafmt: 0.2.11 -> 0.3.1 (#18004) 2016-08-26 07:03:41 +00:00
selenium Merge pull request #14625 from utdemir/master 2016-04-19 13:48:06 +02:00
sigrok-cli sigrok: update whole suite to latest (2016-01) 2016-05-11 22:23:29 +02:00
slimerjs SlimerJS: 0.9.6.2015.08.20 -> 0.10.0 (git->release) 2016-05-15 23:49:44 +02:00
solarus-quest-editor solarus-quest-editor: init at 1.4.5 (#17286) 2016-07-27 18:49:02 +02:00
sqsh sqsh: remove trailing whitespace in the Nix file 2015-01-06 09:56:08 -05:00
sslmate rename iElectric to domenkozar to match GitHub 2016-05-17 13:00:47 +01:00
sunxi-tools sunxi-tools: Don't build on darwin 2016-04-13 04:06:15 +03:00
textql buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
thrust xlibs: replace occurrences by xorg 2015-09-15 12:54:34 +02:00
toluapp Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
tradcpp Reduce size of tradcpp derivation. 2015-02-04 13:34:13 +01:00
unity3d unity3d: use chromium-suid-sandbox 2016-08-08 10:49:00 +03:00
vagrant vagrant: make patches a list (#18364) 2016-09-06 16:52:01 +02:00
watchman Watchman: 4.3.0 => 4.5.0 2016-02-24 11:22:59 +01:00
winpdb buildPythonApplication: use new function for Python applications 2016-02-19 13:16:41 +01:00
wp-cli wp-cli: init at 0.23.1 2016-05-23 14:11:15 +08:00
xqilla xqilla: init at 2.3.3 2016-04-11 13:57:19 +01:00
yuicompressor Another attempt to eradicate ensureDir 2014-06-30 14:56:10 +02:00