nixpkgs-suyu/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 abduco: 0.5 -> 0.6 2016-03-24 15:52:35 +01:00
aescrypt Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
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 Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
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 rename iElectric to domenkozar to match GitHub 2016-05-17 13:00:47 +01:00
autorandr treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
autorevision autorevision: init at 1.14 2016-06-21 15:23:34 +02:00
aws-mturk-clt aws-mturk-clt: update sha256 hash 2015-12-31 13:48:07 +01:00
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 bfr: Build with current Perl 2015-12-04 12:19:44 +01:00
bibtool bibtool: add platforms field 2016-05-22 16:05:46 +02:00
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 byobu: 5.87 -> 5.98 2015-11-11 11:26:10 +01:00
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 Add version attribute where maintainers |= nckx 2016-01-25 17:35:21 +01:00
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: fix udev rules, add sane support 2016-03-11 01:58:40 +03:00
colord-gtk colord-gtk: update from 0.1.25 to 0.1.26 2015-10-25 18:52:17 +01:00
colord-kde kde5.colord-kde: init at 0.5.0.20160224 2016-03-11 08:45:41 -06:00
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 datamash: 1.0.7 -> 1.1.0 2016-06-23 07:45:59 -07:00
dbacl treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
dbus-map dbus-map: init 2015-05-28 2016-04-25 17:52:24 -04:00
ddate Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
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 use dontBuild instead of hacks 2016-05-04 10:11:04 +00:00
desktop-file-utils
detox Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
diffoscope Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
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 dtach: 0.8 -> 0.9 2016-05-23 22:16:49 +02:00
duc duc: 1.3.3 -> 1.4.1 2016-06-05 22:00:22 +08:00
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 dynamic-colors: 2013-12-28 -> 0.2.1 2016-03-19 23:45:28 +00:00
emv treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ent
entr entr: 3.4 -> 3.5 2016-04-22 21:05:38 +02:00
eot-utilities eot-utilities: init -> 1.1 2016-06-15 22:15:32 +02:00
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 Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
expect Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
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 file: 5.25 -> 5.28 2016-06-20 18:23:39 +02:00
filebench filebench: Init at 1.4.9.1 2016-04-28 03:33:39 +03:00
fileschanged Bring my stdenv.lib.maintainers user name in line with my github nick. 2016-05-16 22:49:55 +02:00
findutils Merge branch 'master' into closure-size 2016-04-01 10:06:01 +02:00
flashrom flashrom: 0.9.7 -> 0.9.9 2016-05-03 16:15:20 +02:00
fluentd fluentd: 0.12.6 -> 0.14.0 2016-06-10 01:35:39 +00:00
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 fpp: init at 0.7.1 2016-05-15 17:21:00 +02:00
fsmark fsmark: Init at 3.3 2016-04-28 03:33:39 +03:00
fzf fzf: 0.13.3 -> 0.13.5 2016-09-02 23:23:35 +02:00
fzy fzy: init at 0.4 2016-05-22 16:58:19 +00:00
g500-control
gawp buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
gbdfed Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
getopt treewide: Add lots of platforms to packages with no meta 2016-08-02 21:17:44 +03:00
gibo gibo: init at 1.0.4, fixes #11871 2015-12-22 02:43:24 +01:00
gnokii gnokii: use mkDerivation 2016-01-30 20:31:01 +00:00
gnuvd treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
goaccess goaccess: 0.9.4 -> 1.0 2016-06-10 04:33:27 +02:00
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 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-06-10 09:27:04 +00:00
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 hakuneko: 1.3.12 -> 1.4.1 2016-06-19 20:09:27 -04:00
hddtemp hddtemp: correct licence: gpl2 -> gpl2Plus 2016-03-16 21:10:20 +01:00
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 Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
i3cat buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
i3minator rename iElectric to domenkozar to match GitHub 2016-05-17 13:00:47 +01:00
idutils
ipad_charge Add version attribute where maintainers |= nckx 2016-01-25 17:35:21 +01:00
ipxe Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-06-10 09:27:04 +00:00
ised ised: 2.7.0 -> 2.7.1 2016-08-11 17:57:35 +02:00
jdiskreport
kalibrate-rtl
kde-gtk-config treewide: Make explicit that 'dev' output of gtk2 is used 2016-05-19 10:00:38 +02:00
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 rename iElectric to domenkozar to match GitHub 2016-05-17 13:00:47 +01:00
less less: support --with-secure 2016-05-31 21:02:45 +01:00
lesspipe lesspipe: init at 1.82 2016-05-10 22:21:42 +02:00
libcpuid cpp_ethereum: init at 1.2.9 2016-07-01 19:14:00 +02:00
lnav lnav: init at 0.8.0 2015-11-20 15:03:20 +08:00
lockfile-progs
logstash logstash: 1.5.3 -> 2.3.4 2016-07-27 17:45:38 +02:00
logstash-forwarder
lolcat
lrzsz lrzsz: disable format hardening 2016-04-06 08:54:48 +00:00
ltunify Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
makebootfat Rename 'emery' maintainer handle to 'ehmry', fixes #11493 2015-12-05 23:06:20 +01:00
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 mbuffer: disable darwin (its not supported) 2016-06-26 09:38:35 +02:00
mc mc: Enable support for SFTP and SMB. 2016-09-06 23:29:03 +03:00
mcrl
mcrypt mcrypt: fix several security issues (close #12194) 2016-01-07 10:10:30 +01:00
mdbtools treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
megacli replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00
memtest86
memtest86+ Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
mimeo mimeo: init at 2016.2 2016-03-06 20:44:09 +01:00
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 moreutils: 0.58 -> 0.59 2016-06-05 17:14:38 +02:00
most treewide: Make explicit that 'dev' output of slang is used 2016-05-19 10:03:35 +02:00
mpdscribble treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
mprime mprime: Init at 28.7 2016-02-16 16:37:45 +00:00
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 multitail: mark as supporting unix platforms 2016-05-25 22:46:14 +02:00
mysql2pgsql treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
ncdu
ocz-ssd-guru
openopc
opentsdb opentsdb: 2.1.1 -> 2.2.0 2016-06-10 08:17:20 +00:00
ostree ostree: v2015.3 -> v2016.5 2016-04-26 00:50:31 +00:00
pal Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
parallel parallel: 20160622 -> 20160722 2016-07-25 12:51:40 +02:00
parcellite drop my maintainership (close #13881) 2016-03-13 18:39:01 +01:00
parted
partition-manager
pastebinit
pg_top pg_top: add license and platforms 2016-01-13 14:58:21 +03:00
pick pick: init at 1.4.0 2016-06-30 20:01:43 +08:00
picocom picocom: 2.0 -> 2.1 2015-10-18 17:23:51 -07:00
pipelight Merge remote-tracking branch 'origin/master' into closure-size 2015-11-25 21:37:30 +01:00
pk2cmd treewide: Make explicit that 'dev' output of libusb is used 2016-05-19 10:00:47 +02:00
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 progress: 0.12.1 -> 0.13 2016-02-10 23:27:28 +00:00
proxytunnel treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
pv
pws pws: Init at 1.0.6 2016-04-25 01:55:07 +02:00
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 refactor to use autoreconfHook where possible 2016-01-18 10:45:31 +01:00
riemann-tools
rkflashtool
rlwrap
rmlint rmlint: 2.4.2 -> 2.4.4 2016-06-05 17:33:29 +02:00
rockbox-utility Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
rpm-ostree rpm: remove hack 2016-08-24 19:26:55 +00:00
rrdtool rrdtool: darwin compatibility 2016-05-19 11:00:23 -04:00
s6-portable-utils set target for darwin binary compat in skarnet.org packages 2016-04-01 10:39:37 -05:00
sam-ba sam-ba: disable build for i686-linux 2016-08-24 21:31:02 +02:00
scanmem scanmem: 0.15.2 -> 0.15.6 2016-03-25 03:05:17 +00:00
screen screen: 4.3.1 -> 4.4.0 2016-06-20 15:24:32 -07:00
screenfetch screenfetch: 2015-04-20 -> 2016-01-13 2016-01-13 09:06:44 +00:00
sdl-jstest sdl-jstest: 20150806 -> 2016-03-29 2016-04-30 03:12:34 +03:00
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 stow: 2.2.0 -> 2.2.2 2016-05-30 18:03:46 +02:00
sutils Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
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 t1utils: set meta.platforms = all 2015-11-06 17:26:06 +01:00
testdisk testdisk 6.14 -> 7.0 2016-01-06 12:10:54 +01:00
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 tldr: 1.1.0 -> 1.2.0 2016-04-06 19:49:19 +02:00
tlp tlp: revert back to makeWrapper for Perl scripts 2016-05-24 03:08:08 +03:00
tmate tmate: 1.8.10 -> 2.2.0 2016-01-08 18:04:25 -08:00
tmpwatch
tmux tmux: remove bin output to avoid cycle reference on OSX. fix #17092 2016-07-21 19:21:35 +08:00
tmux-cssh tmux-cssh: init at 21750733c5b6fa2fe23b9e50ce69d8564f2f742a 2015-11-07 16:47:52 +00:00
tmuxinator tmuxinator: 0.6.9 -> 0.8.1 2016-06-01 00:36:04 +07:00
tmuxp tmuxp: Add dependency to pytest 2016-09-08 13:48:45 +02:00
togglesg-download togglesg-download: 2016-02-08 -> 2016-05-31 2016-06-21 15:33:38 +08:00
toilet
trash-cli trash-cli: add platforms field 2016-05-22 16:06:06 +02:00
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 Move some excess description to longDescription 2016-01-12 03:08:10 +01:00
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 txtw: init at 0.4 2016-01-10 11:08:17 +13:00
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 units: 2.12 -> 2.13 2016-06-23 00:03:59 -07:00
upower-notify buildGoPackage: remove Go deps file libs.json 2016-08-11 23:07:09 +02:00
urjtag
usbmuxd
uucp Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
vdirsyncer vdirsyncer: 0.11.2 -> 0.11.3 2016-08-01 12:40:33 +02:00
venus treewide: Mass replace 'libxslt}/bin' to refer to the correct outputs 2016-04-14 08:32:20 +03:00
vfdecrypt
vmtouch vmtouch: 1.0.2 -> 1.1.0 2016-08-21 02:20:12 -04:00
vorbisgain Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
wakatime wakatime: init at 6.0.1 2016-05-08 04:52:57 +02:00
wv Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-08-03 13:34:44 +00:00
wv2
wyrd
xburst-tools Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
xclip Fix xclip hash, make revision explicit, in stead of depending on HEAD. 2016-02-17 12:00:20 +00:00
xdaliclock
xdo xdo: 0.5 -> 0.5.3 2016-06-26 14:03:28 +08:00
xdummy treewide: Mass-replace 'xorgserver}/bin' with correct output 2015-10-28 10:17:12 +01:00
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 quote URLs in my packages to ease opening them from urxvt 2016-04-30 03:12:32 +03:00
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 yle-dl: init at 2.9.1 2015-12-28 06:05:01 +02:00
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-neo-manager: init at 1.4.0 2016-06-23 13:48:10 +01:00
yubikey-personalization Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
yubikey-personalization-gui Captialize meta.description of all packages 2016-06-20 13:55:52 +02:00
zsh-navigation-tools treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00