nixpkgs/pkgs/applications
Michael Raskin 20b6b3cf0e clingo: init at 5.2.2
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
2017-11-10 14:04:32 +01:00
..
altcoins bitcoin-abc: 0.15.0 -> 0.16.0 2017-11-06 10:48:09 +01:00
audio lmms: 1.1.90 -> 1.2.0-rc4, Qt5, optional lame, libsoundio, portaudio 2017-11-07 14:48:20 +00:00
backup deja-dup: 36.1 -> 36.3 2017-10-22 00:03:41 +02:00
display-managers lightdm: 1.22.0 -> 1.24.0 2017-10-29 15:54:18 -04:00
editors rstudio: fix build 2017-11-10 07:00:47 +08:00
gis Merge pull request #30471 from thall/qgis_2_18_13 2017-10-16 18:29:09 +02:00
graphics feh: 2.22 -> 2.22.2 2017-11-09 12:52:00 +02:00
inferno
kde kdeApplications: 17.08.2 -> 17.08.3 2017-11-09 15:38:05 -06:00
misc tint2: 15.2 -> 15.3 2017-11-09 15:52:15 -02:00
networking chromium: hardcode xdg_utils path in system calls 2017-11-10 01:26:35 +01:00
office Merge pull request #31443 from dtzWill/update/mendeley-1.17.11 2017-11-10 06:18:10 +00:00
science clingo: init at 5.2.2 2017-11-10 14:04:32 +01:00
search
taxes
version-management Merge pull request #31365 from andir/fix-cvs-CVE-2017-12836 2017-11-07 17:12:15 +00:00
video mkvtoolnix: 16.0.0 -> 17.0.0 2017-11-05 20:55:06 +01:00
virtualization virtualbox: fixup build with glibc-2.26 2017-11-08 10:00:32 +01:00
window-managers sway: 0.14.0 -> 0.15.0 2017-11-07 23:16:50 +02:00