1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
nixpkgs/pkgs/tools/misc
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
..
abduco
aescrypt
alarm-clock-applet alarm-clock-applet: use default method for propagating gstreamer (#16786) 2016-07-09 18:36:04 +02:00
antimicro antimicro: 2.21 -> 2.22, use new official repository 2016-09-08 23:35:15 +02:00
apparix
appdata-tools
apt-offline
argtable cpp_ethereum: init at 1.2.9 2016-07-01 19:14:00 +02:00
arp-scan
asciinema asciinema: 20160520 -> 1.3.0 2016-08-19 12:32:22 +02:00
aspcud opam, aspcud: init packages for external solver (#16938) 2016-09-12 10:44:50 +02:00
autojump
autorandr treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
autorevision
aws-mturk-clt
bandwidth bandwidth: 1.2.0 -> 1.3.1 2016-07-08 03:27:07 +03:00
bc
bcunit bcunit: init at 3.0 2016-09-06 18:19:17 +02:00
bdf2psf bdf2psf: 1.146 -> 1.147 2016-07-27 03:57:46 +02:00
bfr
bibtool
bibutils treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
blink1-tool blink1-tool: init at 1.98 2016-08-26 19:36:14 -04:00
bmon
bogofilter treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
brltty
byobu
calamares treewide: Use explicit 'dev' references to glibc 2016-08-30 03:11:09 +03:00
ccze
clasp opam, aspcud: init packages for external solver (#16938) 2016-09-12 10:44:50 +02:00
clex
cloc cloc: 1.68 -> 1.70 2016-07-09 22:51:12 +02:00
cloud-utils treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
colord
colord-gtk
colord-kde
contacts
convmv
coreutils Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-15 14:41:01 +00:00
cowsay
cpulimit cpulimit: 2.2 -> 2.3 2016-09-02 08:06:59 +02:00
cpuminer cpuminer: 2.4.4 -> 2.4.5 2016-08-03 15:48:02 +08:00
cpuminer-multi cpuminer-multi: disable on 686-linux (#17558) 2016-08-07 09:22:47 +02:00
cunit cunit: 2.1-2 -> 2.1-3 2016-09-06 18:19:17 +02:00
cutecom treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
datamash
dbacl treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
dbus-map
ddate
ddccontrol ddccontrol: use autoreconfHook and fix for newer automake 2016-08-24 21:06:43 +00:00
debian-devscripts Remove top-level setuptools 2016-08-14 13:07:26 +02:00
debootstrap
desktop-file-utils
detox
diffoscope
direnv direnv: fix path to bash 2016-07-04 12:46:32 +01:00
disper treewide: Use more makeLibraryPath 2016-08-23 02:56:12 +03:00
dmg2img treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
dtach
duc
dumptorrent dumbtorrent: fix darwin build 2016-08-16 19:25:41 +00:00
dvtm treewide: Fix meta.platforms related typos 2016-08-02 21:17:44 +03:00
dynamic-colors
emv treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ent
entr
eot-utilities
ethtool ethtool: 4.5 -> 4.6 2016-07-16 15:04:31 +02:00
exa exa: fix depshash 2016-08-25 00:33:15 +02:00
execline
expect
fasd fasd: 2015-03-29 -> 2016-08-11 2016-08-11 07:14:35 +00:00
fdupes
figlet treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
file
filebench
fileschanged
findutils
flashrom
fluentd
fondu fondu: disable fortify hardening 2016-08-04 07:48:23 +00:00
fontforge fontforge: prevent configure from picking up xquartz installation 2016-09-04 16:33:27 -04:00
fortune treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
fpp
fsmark
fzf fzf: 0.13.3 -> 0.13.5 2016-09-02 23:23:35 +02:00
fzy
g500-control
gawp buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
gbdfed
getopt treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
gibo
gnokii
gnuvd treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
goaccess
gparted treewide: Use makeBinPath 2016-08-23 01:18:10 +03:00
graylog graylog: 2.0.3 -> 2.1.0 (#18200) 2016-09-02 13:53:17 +02:00
grc
gringo opam, aspcud: init packages for external solver (#16938) 2016-09-12 10:44:50 +02:00
grub
grub4dos Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-16 07:54:01 +00:00
gsmartcontrol
gti gti: Fix build on darwin 2016-07-17 17:15:24 +02:00
hakuneko
hddtemp
hdf5 Revert "hdf5: 1.8.16 -> 1.10.0-patch1" 2016-08-28 19:28:31 +02:00
heatseeker treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
heimdall treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
homesick
i3cat buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
i3minator
idutils
ipad_charge
ipxe
ised ised: 2.7.0 -> 2.7.1 2016-08-11 17:57:35 +02:00
jdiskreport
kalibrate-rtl
kde-gtk-config
kermit treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
keychain
kronometer kronometer: init at 2.1.0 2016-08-08 16:59:19 +08:00
lbdb
ldapvi
less
lesspipe
libcpuid cpp_ethereum: init at 1.2.9 2016-07-01 19:14:00 +02:00
lnav
lockfile-progs
logstash logstash: 1.5.3 -> 2.3.4 2016-07-27 17:45:38 +02:00
logstash-forwarder
lolcat
lrzsz
ltunify
makebootfat
man treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
man-db man-db: set troff command correctly (#18333) 2016-09-06 04:22:06 +02:00
mbuffer
mc mc: Enable support for SFTP and SMB. 2016-09-06 23:29:03 +03:00
mcrl
mcrypt
mdbtools treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
megacli
memtest86
memtest86+ Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
mimeo
minicom
mktorrent
mmv mmv: disable fortify hardening 2016-08-04 07:48:24 +00:00
mongodb-tools buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
moreutils
most
mpdscribble treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
mprime
mrtg treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ms-sys treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
mstflint mstflint: 3.7.0-1.18 -> 4.4.0-1.12 2016-08-24 21:31:02 +02:00
multitail
mysql2pgsql treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ncdu
ocz-ssd-guru
openopc
opentsdb
ostree
pal
parallel parallel: 20160622 -> 20160722 2016-07-25 12:51:40 +02:00
parcellite
parted
partition-manager
pastebinit
pg_top
pick pick: init at 1.4.0 2016-06-30 20:01:43 +08:00
picocom
pipelight
pk2cmd
plantuml plantuml: 8037 -> 8047 2016-09-08 23:09:23 +02:00
plowshare treewide: Use makeBinPath 2016-08-23 01:18:10 +03:00
ponysay treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
profile-cleaner treewide: Use makeBinPath 2016-08-23 01:18:10 +03:00
profile-sync-daemon
progress
proxytunnel treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
pv
pws
qjoypad
qt5ct qt5ct: init at 0.24 2016-07-19 21:49:20 -07:00
rcm treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
recutils recutils: 1.5 -> 1.7 2016-09-02 22:01:06 +02:00
remind
renameutils treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
riemann-c-client
riemann-tools
rkflashtool
rlwrap
rmlint
rockbox-utility
rpm-ostree rpm: remove hack 2016-08-24 19:26:55 +00:00
rrdtool
s6-portable-utils
sam-ba sam-ba: disable build for i686-linux 2016-08-24 21:31:02 +02:00
scanmem
screen
screenfetch
sdl-jstest
sl sl: fix darwin build 2016-08-16 19:25:45 +00:00
slop
slsnif treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
smc
snapper treewide: Fix dev references to libxml2 2016-08-30 03:02:32 +03:00
staruml systemd: Separate lib output 2016-09-05 19:17:14 +02:00
stow
sutils
svtplay-dl svtplay-dl: 1.1 -> 1.3 2016-09-09 22:59:34 +02:00
system-config-printer system-config-printer: fix "Print Test Page" 2016-08-26 21:11:36 +02:00
t
t1utils
testdisk
time treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
timidity treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
tldr
tlp
tmate
tmpwatch
tmux tmux: remove bin output to avoid cycle reference on OSX. fix #17092 2016-07-21 19:21:35 +08:00
tmux-cssh
tmuxinator
tmuxp tmuxp: Add dependency to pytest 2016-09-08 13:48:45 +02:00
togglesg-download
toilet
trash-cli
ttf2pt1 treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ttfautohint Disable bunch of non-compiling packages on Darwin 2016-09-01 20:39:33 +03:00
ttmkfdir treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
tty-clock
ttylog
ttyrec ttyrec: fix build 2016-08-24 21:31:02 +02:00
txt2man txt2man: mention runtime dependencies on gawk and coreutils 2016-09-08 13:01:55 +02:00
txtw
umlet
unclutter unclutter: fix darwin build 2016-08-16 19:25:46 +00:00
unclutter-xfixes unclutter-xfixes: init at 1.2 2016-08-24 11:24:00 +03:00
units
upower-notify buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
urjtag
usbmuxd
uucp
vdirsyncer vdirsyncer: 0.11.2 -> 0.11.3 2016-08-01 12:40:33 +02:00
venus
vfdecrypt
vmtouch vmtouch: 1.0.2 -> 1.1.0 2016-08-21 02:20:12 -04:00
vorbisgain
wakatime
wv Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
wv2
wyrd
xburst-tools
xclip
xdaliclock
xdo
xdummy
xflux xflux-gui: propogatedBuildInputs -> propagatedBuildInputs 2016-07-14 15:53:09 +05:30
xfstests xfstests: 2016-08-06 -> 2016-08-26 2016-09-01 21:03:27 +03:00
xiccd
xsel treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
xtitle
xvfb-run treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
yad yad: 0.25.1 -> 0.37.0 and fixup icons 2016-08-25 00:00:48 +00:00
yank treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
yle-dl
youtube-dl youtube-dl: wrap with atomicparsley (#18066) 2016-08-30 14:36:16 +02:00
yubico-piv-tool yubico-piv-tool: add description fields (#18322) 2016-09-05 23:33:46 +02:00
yubikey-neo-manager
yubikey-personalization
yubikey-personalization-gui
zsh-navigation-tools treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00