guix/gnu/packages
Julien Lepiller 88191acee2
gnu: Add coq-gappa.
* gnu/packages/ocaml.scm (coq-gappa): New variable.
2017-07-29 15:18:54 +02:00
..
aux-files
bootstrap
patches gnu: nss, nss-certs: Update to 3.32. 2017-07-28 00:07:28 +02:00
abduco.scm
abiword.scm
accessibility.scm
acct.scm gnu: acct: Update to 6.6.4. 2017-07-22 13:47:25 +02:00
acl.scm
admin.scm gnu: nnn: Update to 1.3. 2017-07-27 05:03:33 +02:00
adns.scm
aidc.scm
algebra.scm
android.scm
animation.scm
anthy.scm
apl.scm
apr.scm
aspell.scm
assembly.scm
astronomy.scm
attr.scm
audio.scm gnu: guitarix: Update to 0.35.5. 2017-07-19 14:39:37 +02:00
augeas.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
backup.scm gnu: borg: Update to 1.0.11. 2017-07-21 01:23:25 -04:00
base.scm gnu: Remove glibc@2.21 and its traces. 2017-07-17 23:41:36 +02:00
bash.scm gnu: bash-completion: Update to 2.7. 2017-07-23 11:05:54 +03:00
bdw-gc.scm
benchmark.scm
bioinformatics.scm gnu: metabat: Update to 2.11.2. 2017-07-29 22:37:47 +10:00
bison.scm
bittorrent.scm
boost.scm
bootloaders.scm gnu: Add u-boot-odroid-c2. 2017-07-23 23:33:16 +03:00
bootstrap.scm
build-tools.scm gnu: Add premake4. 2017-07-20 11:57:13 +02:00
busybox.scm
c.scm
calcurse.scm
calendar.scm
ccache.scm
cdrom.scm
certs.scm gnu: le-certs: Create OpenSSL hash symlinks. 2017-07-28 18:09:43 +02:00
check.scm gnu: cmocka: Update to 1.1.1. 2017-07-23 22:01:28 +02:00
chez.scm
ci.scm
cmake.scm
code.scm
commencement.scm
compression.scm gnu: Add lziprecover. 2017-07-26 19:38:59 +02:00
compton.scm
conkeror.scm
conky.scm
connman.scm
cook.scm
cpio.scm
cpp.scm
cppi.scm
cran.scm gnu: Add cran module. 2017-07-22 23:48:57 +02:00
cross-base.scm
crypto.scm gnu: libsodium: Update to 1.0.13. 2017-07-16 22:13:01 +02:00
cryptsetup.scm
cups.scm gnu: hplip: Update to 3.17.7. 2017-07-25 23:59:21 +02:00
curl.scm
cyrus-sasl.scm
databases.scm gnu: redis: Update to 4.0.1. 2017-07-28 21:10:49 +10:00
datamash.scm
datastructures.scm
dav.scm
dc.scm
debug.scm gnu: Rename (gnu packages qemu) to (gnu packages virtualization). 2017-07-15 19:17:37 +08:00
dejagnu.scm
dico.scm
dictionaries.scm
direct-connect.scm
disk.scm gnu: gptfdisk: Update to 1.0.3. 2017-07-29 14:15:48 +02:00
display-managers.scm
django.scm
djvu.scm
dns.scm gnu: bind: Update to 9.11.2. 2017-07-29 00:32:00 +02:00
docbook.scm gnu: dblatex: Use texlive-union. 2017-07-09 17:07:39 +02:00
docker.scm
documentation.scm
dunst.scm
dvtm.scm
ebook.scm
ed.scm
education.scm gnu: gcompris: Update to 17.05. 2017-07-05 12:40:40 +03:00
electronics.scm
elf.scm
elixir.scm
emacs.scm gnu: Add emacs-rpm-spec-mode. 2017-07-29 16:41:34 +05:30
embedded.scm
enchant.scm
engineering.scm
enlightenment.scm gnu: edi: Update to 0.5.1. 2017-07-18 13:46:23 +02:00
entr.scm
erlang.scm
fcitx.scm
figlet.scm
file-systems.scm
file.scm
finance.scm gnu: bitcoin-core: Actually build the graphical client. 2017-07-20 18:42:28 -04:00
firmware.scm
flashing-tools.scm gnu: Add 0xffff. 2017-07-20 00:54:52 +02:00
flex.scm
fltk.scm
fonts.scm gnu: font-gnu-unifont: Update to 10.0.05. 2017-07-22 13:47:26 +02:00
fontutils.scm
forth.scm gnu: Rename (gnu packages gforth) to (gnu packages forth). 2017-07-18 09:58:56 +02:00
fpga.scm
freedesktop.scm
freeipmi.scm gnu: freeipmi: Remove readline from inputs. 2017-07-06 09:45:52 +03:00
fribidi.scm
ftp.scm
fvwm.scm
game-development.scm gnu: gzochi: Update to 0.11.1. 2017-07-27 11:47:51 +02:00
games.scm gnu: Add tome4. 2017-07-28 23:30:41 +02:00
gawk.scm
gcal.scm
gcc.scm gnu: gcc@6: Update to 6.4.0. 2017-07-05 08:31:46 +03:00
gd.scm
gdb.scm
geo.scm
gettext.scm
ghostscript.scm
gimp.scm
gkrellm.scm
gl.scm
glib.scm
gnome.scm gnu: nautilus: Update to 3.24.2.1. 2017-07-28 01:02:40 +02:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm
gnunet.scm
gnupg.scm gnu: gnupg: Update to 2.1.22. 2017-07-29 14:47:24 +02:00
gnustep.scm
gnuzilla.scm gnu: nss, nss-certs: Update to 3.32. 2017-07-28 00:07:28 +02:00
gobby.scm
golang.scm
gperf.scm
gprolog.scm
gps.scm
graphics.scm
graphviz.scm
groff.scm
gsasl.scm
gstreamer.scm gnu: orc: Update to 0.4.27. 2017-07-18 01:30:16 +02:00
gtk.scm gnu: gtk-doc: Fix dblatex problem. 2017-07-09 17:07:39 +02:00
guile-wm.scm
guile.scm gnu: guile-git: Update snapshot. 2017-07-28 18:09:43 +02:00
gv.scm
gxmessage.scm
haskell.scm
hexedit.scm
hugs.scm
hurd.scm
ibus.scm
icu4c.scm
idris.scm
idutils.scm
image-processing.scm
image-viewers.scm gnu: feh: Update to 2.19.1. 2017-07-25 22:58:43 +02:00
image.scm gnu: libtiff: Fix two integer overflows. 2017-07-10 13:31:58 -04:00
imagemagick.scm gnu: graphicsmagick: Update to 1.3.26. 2017-07-19 13:56:43 -04:00
indent.scm
inklingreader.scm
inkscape.scm
irc.scm gnu: quassel: Enable TLS. 2017-07-22 20:04:53 -04:00
iso-codes.scm
java.scm gnu: icedtea@3: Update to 3.5.0 [security fixes]. 2017-07-21 17:30:08 -04:00
javascript.scm
jemalloc.scm
jrnl.scm
julia.scm gnu: julia: Add support for aarch64-linux. 2017-07-05 20:26:46 +03:00
kde-frameworks.scm
kde.scm
kerberos.scm gnu: heimdal: Fix CVE-2017-{6594,11103}. 2017-07-20 15:33:53 -04:00
key-mon.scm
kodi.scm
language.scm
ld-wrapper.in
ldc.scm gnu: dub: Update to 1.4.0. 2017-07-20 00:34:57 +02:00
lego.scm
less.scm
lesstif.scm
libbsd.scm
libcanberra.scm
libdaemon.scm
libedit.scm
libevent.scm
libffcall.scm
libffi.scm
libftdi.scm
libidn.scm
libphidget.scm
libreoffice.scm gnu: libstaroffice: Update to 0.0.4. 2017-07-18 17:14:38 +02:00
libsigsegv.scm
libunistring.scm
libunwind.scm
libupnp.scm
libusb.scm gnu: Add libusb@0.1. 2017-07-20 00:54:52 +02:00
lighting.scm
linux.scm gnu: linux-libre: Update to 4.12.4. 2017-07-28 21:08:51 -04:00
lirc.scm
lisp.scm gnu: gcl: Ensure gcc and binutils are available at runtime. 2017-07-25 07:58:06 -04:00
llvm.scm
logging.scm
lolcode.scm
lout.scm
lsof.scm
lua.scm
lxde.scm
lxqt.scm
m4.scm
machine-learning.scm
mail.scm gnu: claws-mail: Disable (duplicate) Gtk+ icon cache generation. 2017-07-26 08:18:46 +02:00
make-bootstrap.scm
man.scm gnu: man-pages: Update to 4.12. 2017-07-22 12:18:58 +02:00
markup.scm
marst.scm
mate.scm
maths.scm gnu: glpk: Update to 4.63. 2017-07-26 10:15:54 +03:00
mc.scm
mcrypt.scm
medical.scm gnu: Add openmolar. 2017-07-22 23:48:58 +02:00
mes.scm gnu: mes: Update to 0.9. 2017-07-29 14:33:19 +02:00
messaging.scm gnu: c-toxcore: Update to 0.1.9. 2017-07-18 09:58:56 +02:00
microcom.scm
mingw.scm
moe.scm
monitoring.scm
mono.scm
moreutils.scm
mp3.scm gnu: mpg123: Update to 1.25.2 [fixes CVE-2017-10683]. 2017-07-11 11:53:53 +02:00
mpd.scm
mpi.scm gnu: openmpi: Add "static" output. 2017-07-27 11:47:50 +02:00
mtools.scm
multiprecision.scm
music.scm gnu: Add sooperlooper. 2017-07-17 14:01:47 +02:00
musl.scm
nano.scm gnu: nano: Update to 2.8.6. 2017-07-22 13:47:25 +02:00
ncdu.scm
ncurses.scm gnu: dialog: Update to 1.3-20170509. 2017-07-24 22:54:15 -04:00
netpbm.scm
nettle.scm
networking.scm gnu: whois: Update to 5.2.17. 2017-07-28 00:07:45 +02:00
nfs.scm
nickle.scm
nim.scm
ninja.scm
node.scm gnu: node: Add search path specification for 'NODE_PATH'. 2017-07-18 17:49:02 +02:00
noweb.scm
ntp.scm download: Add OpenBSD mirrors. 2017-07-19 01:42:08 +02:00
nutrition.scm
nvi.scm
ocaml.scm gnu: Add coq-gappa. 2017-07-29 15:18:54 +02:00
ocr.scm
onc-rpc.scm
openbox.scm
openldap.scm gnu: nss-pam-ldapd: Update to 0.9.8. 2017-07-09 20:10:37 +02:00
openstack.scm
orpheus.scm
ots.scm
package-management.scm gnu: guix: Add dependency on Guile-Git. 2017-07-28 18:09:44 +02:00
parallel.scm gnu: parallel: Update to 20170722. 2017-07-22 13:47:26 +02:00
password-utils.scm
patchutils.scm
pciutils.scm
pcre.scm gnu: pcre: Update replacement to 8.41 [fixes CVE-2017-{7244,7245,7246}]. 2017-07-20 08:26:40 -04:00
pdf.scm gnu: poppler: Fix null pointer dereferences. 2017-07-10 12:59:07 -04:00
pem.scm
perl-web.scm
perl.scm
photo.scm gnu: enblend-enfuse: Use texlive-tiny. 2017-07-18 10:00:51 +02:00
php.scm
pkg-config.scm
plotutils.scm
polkit.scm
popt.scm
pretty-print.scm
protobuf.scm
pth.scm
pulseaudio.scm
pumpio.scm
pv.scm
python.scm gnu: python-cryptography: Update to 2.0.2. 2017-07-27 22:15:26 +02:00
qt.scm gnu: Add python-pyqt+qscintilla. 2017-07-22 23:48:58 +02:00
ragel.scm
rails.scm
ratpoison.scm
rdesktop.scm
rdf.scm
re2c.scm
readline.scm
regex.scm
rrdtool.scm
rsync.scm
ruby.scm gnu: ruby-json-pure: Update to 2.1.0. 2017-07-28 20:18:53 +10:00
rush.scm
rust.scm
samba.scm gnu: tevent: Update to 0.9.33. 2017-07-23 22:01:29 +02:00
sawfish.scm
scanner.scm
scheme.scm gnu: chicken: Fix CVE-2017-11343. 2017-07-17 23:47:00 -04:00
screen.scm gnu: screen: Update to 4.6.1. 2017-07-17 22:35:06 +03:00
scribus.scm
scsi.scm
sdcc.scm
sdl.scm
search.scm gnu: Add python-xapian-bindings. 2017-07-19 22:27:02 +02:00
security-token.scm
selinux.scm
serialization.scm gnu: Add python-ruamel.yaml. 2017-07-16 22:32:06 +02:00
serveez.scm
shells.scm gnu: Add oksh. 2017-07-22 20:15:21 -04:00
shellutils.scm
simh.scm
skarnet.scm
skribilo.scm
slang.scm
smalltalk.scm
sml.scm gnu: Add Poly/ML. 2017-07-17 15:13:41 +02:00
speech.scm
spice.scm gnu: spice-protocol: Update to 0.12.13. 2017-07-13 12:32:15 -04:00
ssh.scm gnu: mosh: Update to 1.3.2. 2017-07-23 01:27:29 +02:00
sssd.scm gnu: sssd: Update to 1.15.3. 2017-07-29 01:08:17 +02:00
stalonetray.scm
statistics.scm gnu: r-preprocesscore: Update to 1.38.1. 2017-07-27 10:04:09 +02:00
storage.scm
suckless.scm
swig.scm
sync.scm gnu: qsyncthingtray: Update to 0.5.8. 2017-07-20 00:35:02 +02:00
syndication.scm
synergy.scm
task-management.scm
tbb.scm
tcl.scm
telephony.scm
terminals.scm gnu: terminals: Clean up module imports. 2017-07-14 09:53:56 +02:00
tex.scm gnu: texlive-latex-mdwtools: Fix syntax error in description. 2017-07-20 16:40:29 +02:00
texinfo.scm
text-editors.scm gnu: mg: Add new phase to find 'diff'. 2017-07-26 23:13:52 +02:00
textutils.scm
time.scm
tls.scm gnu: net-tools: Add a test-only variant and use it for GnuTLS. 2017-07-26 12:06:52 -04:00
tmux.scm gnu: tmux: Update to 2.5. 2017-07-05 00:24:02 +02:00
tor.scm
tryton.scm
tv.scm
uml.scm
unrtf.scm
upnp.scm
uucp.scm
valgrind.scm
version-control.scm gnu: subversion: Update to 1.8.18. 2017-07-27 14:33:32 -04:00
video.scm gnu: you-get: Update to 0.4.803. 2017-07-25 14:44:19 -04:00
vim.scm gnu: vim: Update to 8.0.0727 [fixes CVE-2017-11109]. 2017-07-21 15:20:23 -04:00
virtualization.scm gnu: qemu: Fix CVE-2017-11334. 2017-07-17 23:47:03 -04:00
vpn.scm gnu: sshuttle: Move python-pytest-runner. 2017-07-10 22:25:14 +02:00
w3m.scm
wdiff.scm
web-browsers.scm gnu: lynx: Update to 2.8.9dev.15. 2017-07-12 22:41:05 -04:00
web.scm gnu: libpsl: Update to 0.18.0. 2017-07-21 12:24:47 +02:00
webkit.scm gnu: webkitgtk: Update to 2.16.6 [security fixes]. 2017-07-25 07:32:25 -04:00
wget.scm
wicd.scm
wine.scm
wm.scm gnu: Add xmobar. 2017-07-23 15:29:36 -04:00
wordnet.scm
wv.scm
wxwidgets.scm
xdisorg.scm gnu: arandr: Remove make-xrandr-available phase. 2017-07-29 16:47:37 +05:30
xfce.scm
xfig.scm
xiph.scm gnu: opus: Update to 1.2.1. 2017-07-24 17:37:05 -04:00
xml.scm gnu: expat: Update replacement to 2.2.2 [security fixes]. 2017-07-14 15:19:26 -04:00
xnee.scm
xorg.scm gnu: xterm: Update to 330. 2017-07-24 22:54:18 -04:00
zile.scm