guix-devel/gnu/packages
gabrielhdt 2f8e77bee2
gnu: Add ocaml-odoc.
* gnu/packages/ocaml.scm (ocaml-odoc): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-14 21:40:36 +02:00
..
aux-files gnu: linux-libre: Update to 5.1. 2019-05-10 00:00:49 -04:00
bootstrap
patches gnu: ocaml-base64: Update to 3.2.0. 2019-05-14 21:05:32 +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
ada.scm
admin.scm gnu: jnettop: Use archived source and homepage. 2019-05-14 14:00:55 +02:00
adns.scm
agda.scm
aidc.scm
algebra.scm gnu: xtensor: Update to 0.20.5. 2019-05-11 23:35:34 +02:00
android.scm
animation.scm
anthy.scm gnu: anthy: Update source URI. 2019-05-14 14:00:55 +02:00
antivirus.scm
apl.scm
apr.scm gnu: apr: Update to 1.6.5. 2019-02-10 21:04:22 +01:00
arcan.scm
aspell.scm
assembly.scm gnu: fasm: Update to 1.73.11. 2019-05-08 23:21:34 +02:00
astronomy.scm
attr.scm
audio.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
augeas.scm
authentication.scm
autogen.scm
autotools.scm
avahi.scm
avr.scm
axoloti.scm
backup.scm gnu: burp: Update to 2.3.6. 2019-05-14 14:19:19 +02:00
base.scm gnu: Remove 'gcc-glibc-2.27' and 'gcc-glibc-2.26'. 2019-05-13 11:36:11 +02:00
bash.scm
batik.scm
bdw-gc.scm
benchmark.scm
bioconductor.scm gnu: r-regioner: Update to 1.16.1. 2019-05-11 12:05:32 +02:00
bioinformatics.scm gnu: Add ataqv. 2019-05-14 16:15:19 +02:00
bison.scm
bittorrent.scm gnu: qbittorrent: Update to 4.1.6. 2019-05-11 19:55:38 +02:00
boost.scm
bootloaders.scm gnu: u-boot-tools: Only run full test suite on x86_64. 2019-04-30 13:58:37 -07:00
bootstrap.scm
build-tools.scm gnu: osc: Update to 0.165.0. 2019-05-11 14:08:52 +05:30
busybox.scm
c.scm
calcurse.scm
calendar.scm
ccache.scm
cdrom.scm gnu: cdemu-client: Update to 3.2.1. 2019-05-09 21:13:29 +02:00
certs.scm gnu: le-certs: Update hashes. 2019-05-02 21:40:41 +08:00
check.scm gnu: python-flexmock: Update to 0.10.4. 2019-05-02 00:52:33 +02:00
chemistry.scm
chez.scm
chromium.scm gnu: ungoogled-chromium: Update to 74.0.3729.131-0.9e33022 [fixes CVE-2019-5824]. 2019-05-01 22:15:01 +02:00
ci.scm
cinnamon.scm
clojure.scm
cluster.scm
cmake.scm
cobol.scm
code.scm gnu: uncrustify: Update to 0.69.0. 2019-05-14 11:47:08 +02:00
commencement.scm gnu: gcc: Add 9.1.0. 2019-05-06 10:18:15 +02:00
compression.scm
compton.scm
conky.scm
connman.scm
cook.scm
coq.scm gnu: coq-bignums: Update to 8.9.0. 2019-05-04 19:41:44 +02:00
cpio.scm
cpp.scm gnu: xtl: Update to 0.6.4. 2019-05-11 23:35:33 +02:00
cppi.scm
cran.scm gnu: r-styler: Update to 1.1.1. 2019-05-11 12:05:34 +02:00
cross-base.scm gnu: cross-base: Allow using non-default glibc. 2019-05-13 09:46:58 +02:00
crypto.scm gnu: signify: Update to 25. 2019-05-01 22:15:01 +02:00
cryptsetup.scm
cups.scm
curl.scm
cyrus-sasl.scm
databases.scm gnu: python-mysqlclient: Don't depend on MySQL. 2019-05-13 00:17:37 +02:00
datamash.scm
datastructures.scm gnu: liburcu: Update to 0.11.0. 2019-05-08 16:41:55 +02:00
dav.scm
dbm.scm
dc.scm
debian.scm
debug.scm
dejagnu.scm
dico.scm
dictionaries.scm gnu: grammalecte: Update to 1.0.2. 2019-05-07 10:25:19 +02:00
digest.scm
direct-connect.scm
disk.scm
display-managers.scm gnu: slim: Allow customisation of Xorg display. 2019-05-07 15:46:54 +02:00
django.scm gnu: Add python-django-extensions. 2019-05-03 17:47:30 +02:00
djvu.scm
dlang.scm
dns.scm
docbook.scm
docker.scm gnu: cqfd: Update to 5.1.0. 2019-05-13 21:50:34 -04:00
documentation.scm
dunst.scm
dvtm.scm
easyrpg.scm
ebook.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
ed.scm
education.scm
efi.scm
electronics.scm
elf.scm
elixir.scm
emacs-xyz.scm gnu: Add emacs-evil-cleverparens 2019-05-14 12:11:05 +02:00
emacs.scm
embedded.scm
emulators.scm gnu: retroarch: Update to 1.7.7. 2019-05-08 08:15:46 +02:00
enchant.scm gnu: enchant: Update to 2.2.3. 2018-09-26 00:33:01 +02:00
engineering.scm
enlightenment.scm gnu: python-efl: Update to 1.22.0. 2019-05-08 19:55:13 +03:00
entr.scm
erlang.scm
fabric-management.scm
fcitx.scm
figlet.scm
file-systems.scm
file.scm
finance.scm gnu: electrum: Update to 3.3.5. 2019-05-11 23:35:33 +02:00
firmware.scm gnu: seabios: Update to 1.12.1. 2019-05-09 21:16:54 +02:00
flashing-tools.scm
flex.scm
fltk.scm
fonts.scm gnu: font-hermit: Download as 'url-fetch/tarbomb'. 2019-05-14 14:47:44 +03:00
fontutils.scm
forth.scm
fpga.scm
freedesktop.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
freeipmi.scm
fribidi.scm
ftp.scm
fvwm.scm
game-development.scm
games.scm gnu: Add harmonist. 2019-05-13 23:20:00 +02:00
gawk.scm
gcal.scm
gcc.scm gnu: gcc-4.7: Hide package. 2019-05-09 23:18:39 +02:00
gd.scm
gdb.scm gnu: gdb: Add version 8.3. 2019-05-13 10:12:14 +02:00
genimage.scm
geo.scm gnu: tegola: Fix build. 2019-05-06 23:10:36 -04:00
gettext.scm
ghostscript.scm
gimp.scm gnu: gegl: Update to 0.4.16. 2019-05-11 23:35:33 +02:00
gkrellm.scm
gl.scm gnu: ftgl: Don't build libftgl.a. 2019-04-29 20:10:42 +02:00
glib.scm
gnome.scm gnu: gdm: Fix configuration file discovery. 2019-05-12 20:01:35 -04:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm packages: Define 'this-package' and 'this-origin'. 2019-03-30 11:08:39 +01:00
gnunet.scm
gnupg.scm
gnustep.scm
gnuzilla.scm build/cargo-utils: Remove "src-name" parameter. 2019-05-10 00:44:08 +02:00
gobby.scm
golang.scm gnu: Go 1.11: Update to 1.11.10. 2019-05-10 13:30:07 -04:00
gperf.scm
gpodder.scm
gprolog.scm
gps.scm gnu: gpscorrelate: Update home page. 2019-05-13 14:16:48 +02:00
graph.scm gnu: r-rgraphviz: Update to 2.28.0. 2019-05-06 00:14:29 +02:00
graphics.scm
graphviz.scm gnu: xdot: Update to 1.1. 2019-05-14 14:00:54 +02:00
groff.scm
groovy.scm
gsasl.scm
gstreamer.scm
gtk.scm
guile-wm.scm
guile-xyz.scm gnu: Add guile-file-names. 2019-05-09 22:41:14 +02:00
guile.scm
gv.scm
gxmessage.scm
ham-radio.scm
hardware.scm
haskell-apps.scm
haskell-check.scm
haskell-crypto.scm
haskell-web.scm
haskell.scm gnu: ghc-esqueleto: Name checkout. 2019-04-30 17:05:22 +02:00
hexedit.scm
hugs.scm
hurd.scm
hyperledger.scm
ibus.scm
icu4c.scm
idris.scm
idutils.scm
image-processing.scm
image-viewers.scm
image.scm gnu: exiv2: Use HTTPS URLs. 2019-05-13 14:16:48 +02:00
imagemagick.scm
inklingreader.scm
inkscape.scm
ipfs.scm
irc.scm
iso-codes.scm
java-compression.scm
java-maths.scm
java.scm gnu: openjdk11: Suppress internal in version. 2019-05-13 08:12:26 +02:00
javascript.scm
jemalloc.scm
jose.scm
jrnl.scm
julia.scm
kde-frameworks.scm
kde-plasma.scm
kde.scm gnu: libkomparediff2: Update to 19.04.1. 2019-05-11 23:35:33 +02:00
kerberos.scm
key-mon.scm
kodi.scm
language.scm
ld-wrapper.in
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
libsigsegv.scm
libunistring.scm
libunwind.scm
libusb.scm gnu: libplist: Run tests sequentially. 2019-04-30 16:47:29 +02:00
license.scm
lighting.scm
linux.scm gnu: linux-libre: Update to 5.1.1. 2019-05-11 20:13:18 -04:00
lirc.scm
lisp.scm gnu: Add sbcl-find-port, cl-find-port, and ecl-find-port. 2019-05-07 12:43:31 +02:00
llvm.scm
logging.scm
lolcode.scm
lout.scm
lsof.scm
lua.scm
lxde.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
lxqt.scm
m4.scm
machine-learning.scm
magic-wormhole.scm
mail.scm gnu: dovecot: Update to 2.3.6. 2019-05-08 23:21:34 +02:00
make-bootstrap.scm
man.scm gnu: man-db: Update to 2.8.5. 2019-05-11 19:55:38 +02:00
markup.scm
marst.scm
mastodon.scm
mate.scm gnu: mate-power-manager: License is GPLv2+. 2019-05-06 23:21:32 +02:00
maths.scm gnu: hdf5: Add dependency on Perl. 2019-05-14 12:11:04 +02:00
maven.scm gnu: maven: Update to 3.6.1. 2019-04-30 12:41:19 +02:00
mc.scm
mcrypt.scm
medical.scm
mes.scm
messaging.scm gnu: gajim: Fix error when GAJIM_PLUGIN_PATH is not set. 2019-05-13 09:03:03 +02:00
microcom.scm
mingw.scm
moe.scm
monitoring.scm
mono.scm
moreutils.scm
motti.scm
mp3.scm
mpd.scm
mpi.scm
mtools.scm
multiprecision.scm
music.scm gnu: picard: Read disc IDs. 2019-05-11 23:35:33 +02:00
musl.scm
nano.scm gnu: nano: Update to 4.2. 2019-05-04 15:43:22 -04:00
ncdu.scm
ncurses.scm
netpbm.scm
nettle.scm
networking.scm gnu: Add go-netns. 2019-05-05 20:14:14 -04:00
nfs.scm
nickle.scm
nim.scm
ninja.scm
node.scm
noweb.scm
nss.scm
ntp.scm
nutrition.scm
nvi.scm
ocaml.scm gnu: Add ocaml-odoc. 2019-05-14 21:40:36 +02:00
ocr.scm
onc-rpc.scm
openbox.scm
opencl.scm
openldap.scm
openstack.scm
orpheus.scm
ots.scm
package-management.scm gnu: rpm: Update to 4.14.2.1. 2019-05-11 14:08:51 +05:30
parallel.scm
password-utils.scm
patchutils.scm
pciutils.scm
pcre.scm
pdf.scm
pem.scm
perl-check.scm
perl-compression.scm
perl-web.scm
perl.scm
perl6.scm
phabricator.scm
photo.scm gnu: hugin: Update to 2019.0.0. 2019-05-13 14:16:48 +02:00
php.scm gnu: php: Update to 7.3.5. 2019-05-02 14:53:23 +02:00
pkg-config.scm
plotutils.scm
poedit.scm
polkit.scm
popt.scm
pretty-print.scm
printers.scm
profiling.scm gnu: opari2: Use HTTPS home page. 2019-05-08 23:21:34 +02:00
protobuf.scm
pth.scm
pulseaudio.scm
pumpio.scm
pure.scm
pv.scm
python-check.scm
python-compression.scm
python-crypto.scm
python-web.scm gnu: python-requests-oauthlib: Fix building. 2019-05-14 21:20:19 +02:00
python-xyz.scm gnu: python-future: Update to 0.17.1. 2019-05-13 00:17:37 +02:00
python.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
qt.scm
ragel.scm
rails.scm
ratpoison.scm
rdesktop.scm
rdf.scm
re2c.scm
readline.scm
regex.scm
robotics.scm gnu: All snippets report errors using exceptions, else return #t. 2018-03-16 09:08:31 -04:00
rrdtool.scm
rsync.scm
ruby.scm gnu: ruby-rest-client: Fix lost ,s. 2019-04-30 13:03:56 +02:00
rush.scm
rust.scm gnu: rust: Update to 1.34.1. 2019-05-10 00:44:09 +02:00
sagemath.scm
samba.scm
sawfish.scm
scanner.scm
scheme.scm
screen.scm
scribus.scm
scsi.scm
sdcc.scm
sdl.scm
search.scm
security-token.scm gnu: eid-mw: Name checkout. 2019-04-30 17:02:38 +02:00
selinux.scm
serialization.scm
serveez.scm
shells.scm
shellutils.scm gnu: envstore: Fix license field to refer to license:wtfpl2. 2019-05-06 10:32:27 +02:00
simh.scm
simulation.scm
skarnet.scm
skribilo.scm
slang.scm
smalltalk.scm
sml.scm
speech.scm gnu: speech-dispatcher: Update to 0.9.1. 2019-05-13 00:17:37 +02:00
spice.scm gnu: spice: Update to 0.14.2 [fixes CVE-2019-3813]. 2019-05-01 22:15:01 +02:00
sqlite.scm
ssh.scm
sssd.scm
stalonetray.scm
statistics.scm gnu: r-sfsmisc: Update to 1.1-4. 2019-05-11 12:05:34 +02:00
stb.scm
storage.scm
suckless.scm
swig.scm
sync.scm
syncthing.scm gnu: Syncthing: Update to 1.1.2. 2019-05-08 14:57:11 -04:00
syndication.scm
synergy.scm
task-management.scm
tbb.scm gnu: tbb: Update to 2019_U5. 2019-03-21 19:23:48 +01:00
tcl.scm
telephony.scm
terminals.scm gnu: go-github.com-nsf-termbox-go: Update to 0.0.0-1.288510b. 2019-05-13 23:19:56 +02:00
terraform.scm
tex.scm
texinfo.scm
text-editors.scm
textutils.scm
time.scm
tls.scm gnu: certbot, python-acme: Update to 0.34.2. 2019-05-14 15:06:29 -04:00
tmux.scm gnu: tmux-themepack: Fix license field to refer to license:wtfpl2. 2019-05-06 10:32:28 +02:00
tor.scm gnu: tor: Remove explicit hardening flags. 2019-05-05 00:10:24 +02:00
toys.scm
tryton.scm
tv.scm
uml.scm
unrtf.scm
upnp.scm
uucp.scm
valgrind.scm
version-control.scm gnu: Mercurial: Update to 5.0 2019-05-09 12:11:37 +02:00
video.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
vim.scm gnu: neovim: Update to 0.3.5. 2019-05-11 12:56:13 +05:30
virtualization.scm
vpn.scm
vulkan.scm
w3m.scm
wdiff.scm
web-browsers.scm gnu: sbcl-next: Update to 1.2.1. 2019-05-07 19:18:37 +02:00
web.scm Correct email and license info for Brendan Tildesley. 2019-05-05 17:16:51 +02:00
webkit.scm
wget.scm gnu: wgetpaste: Make all dependencies explicit. 2019-05-05 00:10:44 +02:00
wicd.scm
wine.scm gnu: wine-staging: Update to 4.8. 2019-05-11 17:06:14 +02:00
wm.scm gnu: quickswitch-i3: Fix license field to use license:wtfpl2. 2019-05-06 10:32:28 +02:00
wordnet.scm
wv.scm
wxwidgets.scm
xdisorg.scm
xfce.scm
xfig.scm
xiph.scm gnu: libshout: Update to 2.4.2. 2019-05-11 19:55:39 +02:00
xml.scm
xnee.scm gnu: Switch from recordproto to xorgproto. 2018-03-18 00:19:56 +01:00
xorg.scm
zile.scm