guix-devel/gnu/packages
gabrielhdt 38089b549f
gnu: Add ocaml-markup.
* gnu/packages/ocaml.scm (ocaml-markup): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-05-14 21:33:48 +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
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 gnu, guix: Yearly ritual purging of the filesystems. 2019-04-25 04:42:16 +02:00
animation.scm gnu: synfig, synfigstudio: Update to 1.2.2. 2019-04-14 20:15:29 +02:00
anthy.scm gnu: anthy: Update source URI. 2019-05-14 14:00:55 +02:00
antivirus.scm gnu: clamav: Update to 0.101.2. 2019-04-11 05:32:49 +02:00
apl.scm
apr.scm
arcan.scm
aspell.scm
assembly.scm gnu: fasm: Update to 1.73.11. 2019-05-08 23:21:34 +02:00
astronomy.scm gnu: gnuastro: Update to 0.9. 2019-04-18 17:00:46 +03:00
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 gnu: khal: Use HTTPS home page. 2019-04-14 20:15:29 +02:00
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 gnu: conky: Update to 1.11.3. 2019-04-15 06:16:16 +02:00
connman.scm gnu: connman: Update to 1.37. 2019-04-15 06:26:17 +02:00
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 Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
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 gnu: ncdc: Update to 1.21. 2019-04-15 06:27:17 +02:00
debian.scm
debug.scm gnu: creduce: Upgrade to 2.8.0. 2019-04-11 12:17:01 -05:00
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 gnu, guix: Yearly ritual purging of the filesystems. 2019-04-25 04:42:16 +02:00
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 gnu: Add public-suffix-list. 2019-04-24 21:08:39 -07:00
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 Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
elixir.scm
emacs-xyz.scm gnu: Add emacs-evil-cleverparens 2019-05-14 12:11:05 +02:00
emacs.scm gnu: emacs: Update to 26.2. 2019-04-12 18:42:43 -04:00
embedded.scm gnu: fc-host-tools: Fix fc-loadtool. 2019-04-12 16:30:10 +02:00
emulators.scm gnu: retroarch: Update to 1.7.7. 2019-05-08 08:15:46 +02:00
enchant.scm
engineering.scm gnu: librepcb: Update to 0.1.1. 2019-04-26 01:58:30 +05:30
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 gnu: apfs-fuse: Fix ’file system’ spelling. 2019-04-16 19:43:42 +02:00
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 gnu: avrdude: Use @acronym{} mark-up. 2019-04-16 22:40:04 +02:00
flex.scm
fltk.scm gnu: fltk: Update to 1.3.5. 2019-04-25 14:59:16 +02:00
fonts.scm gnu: font-hermit: Download as 'url-fetch/tarbomb'. 2019-05-14 14:47:44 +03:00
fontutils.scm
forth.scm
fpga.scm gnu: gtkwave: Update to 3.3.100. 2019-04-17 06:15:36 +02:00
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 gnu: bennu-game-development-modules: Fix typos. 2019-04-17 03:21:08 +02:00
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
gnunet.scm
gnupg.scm gnu: gpgme: Update to 1.13.0. 2019-04-19 01:48:07 +02:00
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 gnu: gpodder: Build reproducibly. 2019-03-31 23:32:47 +02:00
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 gnu: Add openscenegraph-3.4. 2019-04-14 14:45:47 +02:00
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 gnu: ibus-libpinyin: Add missing runtime input. 2019-04-20 12:33:10 +02:00
icu4c.scm
idris.scm gnu: idris: Run tests. 2019-04-11 19:34:01 -05:00
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 gnu, guix: Yearly ritual purging of the filesystems. 2019-04-25 04:42:16 +02:00
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 gnu: kodi: Update to 18.2. 2019-04-29 20:10:43 +02:00
language.scm
ld-wrapper.in
lego.scm
less.scm
lesstif.scm
libbsd.scm
libcanberra.scm
libdaemon.scm
libedit.scm gnu: libedit: Update to 20190324-3.1. 2019-04-23 18:13:05 +02:00
libevent.scm
libffcall.scm
libffi.scm
libftdi.scm
libidn.scm
libphidget.scm
libreoffice.scm gnu: libmwaw: Don't use NAME in source URI. 2019-04-23 18:13:05 +02:00
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 gnu: Add libomp. 2019-04-16 17:30:22 +02:00
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 gnu: libsvm: Update to 3.23. 2019-04-25 04:42:16 +02:00
magic-wormhole.scm
mail.scm gnu: dovecot: Update to 2.3.6. 2019-05-08 23:21:34 +02:00
make-bootstrap.scm gnu: glibc-stripped: Empty 'native-inputs' and 'propagated-inputs'. 2018-12-14 23:55:55 +01:00
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 gnu: fswatch: Update to 1.14.0. 2019-04-15 11:00:15 +02:00
mono.scm
moreutils.scm
motti.scm
mp3.scm gnu: eyed3: Update to 0.8.10. 2019-04-15 11:00:14 +02:00
mpd.scm gnu: MPD: Update to 0.21.8. 2019-04-26 13:36:59 -04:00
mpi.scm gnu: openmpi: Update to . 2019-04-16 00:05:04 +02:00
mtools.scm gnu: mtools: 'mformat' initializes boot sector before writing it. 2019-04-21 00:51:19 +02:00
multiprecision.scm
music.scm gnu: picard: Read disc IDs. 2019-05-11 23:35:33 +02:00
musl.scm gnu: musl: Update to 1.1.22. 2019-04-15 11:00:14 +02:00
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-markup. 2019-05-14 21:33:48 +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 gnu: parallel: Update to 20190422. 2019-04-22 02:36:20 +02:00
password-utils.scm gnu: Add pass-otp. 2019-04-22 10:28:43 +01:00
patchutils.scm gnu: quilt: Update to 0.66. 2019-04-15 11:00:13 +02:00
pciutils.scm
pcre.scm
pdf.scm Merge branch 'staging' 2019-04-28 14:45:35 +02:00
pem.scm
perl-check.scm gnu: Add perl-test-version. 2019-04-14 10:45:59 +01:00
perl-compression.scm
perl-web.scm gnu: Add perl-uri-db. 2019-04-14 10:45:58 +01:00
perl.scm gnu: perl-filesys-notify-simple: Edit description. 2019-04-25 04:42:16 +02:00
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 gnu: guile-charting: Install .go files in the right place. 2019-04-16 17:30:21 +02:00
poedit.scm gnu: Add poedit. 2019-04-16 22:32:27 +02:00
polkit.scm
popt.scm
pretty-print.scm gnu: highlight: Update to 3.50. 2019-04-15 11:00:13 +02:00
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 gnu: python-service-identity: Update to 18.1.0. 2019-04-19 01:48:07 +02:00
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 gnu, guix: Yearly ritual purging of the filesystems. 2019-04-25 04:42:16 +02:00
ratpoison.scm
rdesktop.scm
rdf.scm gnu: Add lucene++. 2019-04-16 22:31:28 +02:00
re2c.scm
readline.scm
regex.scm
robotics.scm
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 gnu: cifs-utils: Update to 6.9. 2019-04-11 05:26:45 +02:00
sawfish.scm
scanner.scm
scheme.scm gnu: Remove scmutils. 2019-04-29 17:20:44 +02:00
screen.scm
scribus.scm
scsi.scm
sdcc.scm
sdl.scm gnu: Add sdl2-net. 2019-04-29 14:37:01 +02:00
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 gnu: openssh: Update to 8.0p1. 2019-04-22 15:02:16 -04:00
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 gnu: noice: Update to 0.8. 2019-04-11 05:26:44 +02:00
swig.scm
sync.scm gnu: rclone: Update to 1.47.0. 2019-04-17 16:25:57 +02:00
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
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 Merge branch 'master' into staging 2019-04-17 00:08:34 +02:00
texinfo.scm
text-editors.scm
textutils.scm gnu: dbacl: Don't use NAME in source URI. 2019-04-22 02:32:13 +02:00
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 Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
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 gnu: qemu: Build verbosely. 2019-04-29 20:10:42 +02:00
vpn.scm gnu: xl2tpd: Don't use NAME in source URI. 2019-04-24 01:47:48 +02:00
vulkan.scm Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
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 gnu: webkitgtk: Fix build on i686. 2019-04-16 23:39:49 +02:00
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 Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
xfce.scm gnu: xfdesktop: Stick a Guix logo in the background image. 2019-04-26 18:23:56 +02:00
xfig.scm
xiph.scm gnu: libshout: Update to 2.4.2. 2019-05-11 19:55:39 +02:00
xml.scm gnu: xmlsec: Update to 1.2.28. 2019-04-19 01:48:06 +02:00
xnee.scm
xorg.scm Merge branch 'master' into staging 2019-04-23 19:43:59 +02:00
zile.scm