guix-play/gnu/packages
Julien Lepiller 87858bc526
gnu: ocaml: Switch to ocaml 4.09 by default.
Bap and earley cannot be updated as they do not support 4.09 yet. Bap requires
the janestreet packages, which cannot be upgraded as no version supports
4.09 and 4.07 at the same time. Moreover, newer versions of the
janestreet packages have a different dependency graph, which will
require a whole new set of packages. We cannot simply use
package-with-ocaml4.07 on them.

* gnu/packages/ocaml.scm (ocaml-sqlite3, ocaml-ppx-tools, ocaml-gen)
(ocaml-sedlex, ocaml-pcre, ocaml-expect, ocaml-ezjsonm, ocaml-uri)
(ocaml-piqilib, ocaml-piqi, ocaml-charinfo-width, ocaml-zed)
(ocaml-lambda-term, ocaml-utop, ocaml-ppx-inline-test, ocaml-earley)
(ocaml-merlin, ocaml-gsl, ocaml-gsl-1, ocaml-sexplib0, ocaml-parsexp)
(ocaml-sexplib, ocaml-base, ocaml-stdio, ocaml-ppxlib, ocaml-ppx-compare)
(ocaml-fieldslib, ocaml-variantslib, ocaml-ppx-fields-conv)
(ocaml-ppx-sexp-conv, ocaml-ppx-variants-conv, ocaml-ppx-custom-printf)
(ocaml-bin-prot, ocaml-ppx-hash, ocaml-ppx-enumerate, ocaml-ppx-bench)
(ocaml-ppx-here, ocaml-ppx-typerep, ocaml-ppx-sexp-value)
(ocaml-ppx-sexp-message, ocaml-ppx-pipebang, ocaml-ppx-optional)
(ocaml-ppx-optcomp, ocaml-ppx-fail, ocaml-ppx-let, ocaml-ppx-assert)
(ocaml-ppx-expect, ocaml-ppx-js-style, ocaml-ppx-typerep-conv)
(ocaml-ppx-base, ocaml-ppx-bin-prot, ocaml-ppx-jane)
(ocaml-splittable-random, ocaml-configurator, ocaml-spawn, ocaml-core)
(ocaml-core-kernel, ocaml-odoc, ocaml-fftw3, ocaml-lacaml): Rename to ...
(ocaml4.07-sqlite3, ocaml4.07-ppx-tools, ocaml4.07-gen, ocaml4.07-sedlex)
(ocaml4.07-pcre, ocaml4.07-expect, ocaml4.07-ezjsonm, ocaml4.07-uri)
(ocaml4.07-piqilib, ocaml4.07-piqi, ocaml4.07-charinfo-width)
(ocaml4.07-zed, ocaml4.07-lambda-term, ocaml4.07-utop)
(ocaml4.07-ppx-inline-test, ocaml4.07-earley, ocaml4.07-merlin)
(ocaml4.07-gsl, ocaml4.07-gsl-1, ocaml4.07-sexplib0, ocaml4.07-parsexp)
(ocaml4.07-sexplib, ocaml4.07-base, ocaml4.07-stdio, ocaml4.07-ppxlib)
(ocaml4.07-ppx-compare, ocaml4.07-fieldslib, ocaml4.07-variantslib)
(ocaml4.07-ppx-fields-conv, ocaml4.07-ppx-sexp-conv)
(ocaml4.07-ppx-variants-conv, ocaml4.07-ppx-custom-printf)
(ocaml4.07-bin-prot, ocaml4.07-ppx-hash, ocaml4.07-ppx-enumerate)
(ocaml4.07-ppx-bench, ocaml4.07-ppx-here, ocaml4.07-ppx-typerep)
(ocaml4.07-ppx-sexp-value, ocaml4.07-ppx-sexp-message)
(ocaml4.07-ppx-pipebang, ocaml4.07-ppx-optional, ocaml4.07-ppx-optcomp)
(ocaml4.07-ppx-fail, ocaml4.07-ppx-let, ocaml4.07-ppx-assert)
(ocaml4.07-ppx-expect, ocaml4.07-ppx-js-style)
(ocaml4.07-ppx-typerep-conv, ocaml4.07-ppx-base, ocaml4.07-ppx-bin-prot)
(ocaml4.07-ppx-jane, ocaml4.07-splittable-random)
(ocaml4.07-configurator, ocaml4.07-spawn, ocaml4.07-core)
(ocaml4.07-core-kernel, ocaml4.07-odoc, ocaml4.07-fftw3)
(ocaml4.07-lacaml): ... to this and use ocaml 4.07.
(bap, unison): Use ocaml-4.07.
* gnu/packages/bioinformatics.scm (pplacer): Use ocaml-4.07.
2020-01-27 03:56:06 +01:00
..
aux-files gnu: linux-libre: Include more framebuffer font sizes. 2020-01-15 14:31:21 +01:00
patches gnu: QEMU: Update to 4.2.0. 2020-01-24 21:09:33 -05:00
abduco.scm
abiword.scm gnu: abiword: Update to 3.0.4. 2020-01-09 02:40:25 +03:00
accessibility.scm
acct.scm
acl.scm
ada.scm
admin.scm gnu: neofetch: Update to 6.1.0-1.501d6b7. 2020-01-08 10:21:45 +03:00
adns.scm
agda.scm gnu: agda: Update to 2.6.0.1. 2019-11-20 20:48:50 -05:00
aidc.scm gnu: Remove more GCC < 7 workarounds. 2019-10-20 14:00:12 +02:00
algebra.scm gnu: giac: Update to 1.5.0-85. 2019-12-30 21:25:12 +01:00
android.scm gnu: android-libselinux: Avoid top-level references to 'libsellinux'. 2019-12-02 11:32:17 +01:00
animation.scm
anthy.scm
antivirus.scm gnu: clamav: Update to 0.102.1. 2019-12-23 19:45:55 +01:00
apl.scm
apr.scm
arcan.scm
aspell.scm gnu: aspell-dict-ca: Update to 2.5.0. 2019-11-03 00:31:02 +01:00
assembly.scm gnu: Add wla-dx. 2020-01-11 21:17:15 +01:00
astronomy.scm gnu: stellarium: Update to 0.19.3. 2020-01-05 19:55:02 +01:00
attr.scm
audio.scm gnu: ir: Update to 1.3.4. 2020-01-26 14:30:44 +01:00
augeas.scm
authentication.scm Merge branch 'master' into core-updates 2019-09-17 16:27:15 +02:00
autogen.scm
autotools.scm
avahi.scm gnu: Use HTTPS for avahi.org everywhere. 2020-01-19 06:09:01 +01:00
avr.scm gnu: avr-libc: Unset CPATH to fix the build. 2019-09-19 21:33:44 +02:00
axoloti.scm gnu: axoloti-patcher-next: Remove commented expression. 2019-12-26 12:00:01 +01:00
backup.scm gnu: burp: Update to 2.3.20. 2020-01-23 00:06:51 +01:00
base.scm Merge branch 'master' into staging 2019-11-15 20:11:35 +01:00
bash.scm gnupg: 'gnupg-verify*' returns a status symbol. 2019-12-20 22:06:05 +01:00
batik.scm
bdw-gc.scm
benchmark.scm gnu: fio: Update to 3.17. 2019-12-23 19:45:55 +01:00
bioconductor.scm gnu: r-biocset: Fix spelling of "ability". 2020-01-24 02:38:13 -08:00
bioinformatics.scm gnu: ocaml: Switch to ocaml 4.09 by default. 2020-01-27 03:56:06 +01:00
bison.scm gnu: xyce: Use Bison 3.0. 2019-09-30 09:49:34 +02:00
bittorrent.scm gnu: qbittorrent: Update to 4.2.1. 2020-01-03 13:54:10 +01:00
boost.scm gnu: Add boost-static. 2019-11-25 14:08:31 +02:00
bootloaders.scm gnu: u-boot-2019.10: Remove obsolete version. 2020-01-08 22:24:22 -08:00
bootstrap.scm gnu: bootstrap: Memoize 'bootstrap-origin'. 2019-11-04 23:35:31 +01:00
build-tools.scm Update email for Brett Gilio. 2019-12-19 11:35:23 -06:00
busybox.scm gnu: toybox: Update to 0.8.2. 2019-12-01 00:49:13 +01:00
c.scm gnu: tcc: Add search paths and drop the wrapper. 2019-12-03 22:18:08 +01:00
calcurse.scm gnu: calcurse: Update to 4.5.1. 2019-12-01 00:49:12 +01:00
calendar.scm gnu: remind: Update to 3.1.17. 2019-12-12 03:02:30 +01:00
ccache.scm gnu: ccache: Update to 3.6. 2019-08-22 00:25:40 +02:00
cdrom.scm gnu: cdemu-daemon: Split excessively long line. 2020-01-11 03:54:46 +01:00
cedille.scm gnu: cedille: Use most recent GHC. 2019-11-20 20:48:50 -05:00
certs.scm gnu: nss-certs: Update to 3.48. 2020-01-12 20:33:53 +01:00
check.scm gnu: python-parameterized: Update to 0.7.1. 2020-01-20 21:53:51 +01:00
chemistry.scm gnu: nmoldyn: New source code location. 2019-11-21 11:48:30 +01:00
chez.scm gnu: chez-sheme: Move util-linux to inputs. 2020-01-14 23:50:24 +01:00
chromium.scm gnu: ungoogled-chromium: Update to 79.0.3945.130-0.e2fae99. 2020-01-21 21:18:11 +01:00
ci.scm gnu: cuirass: Update to 0.0.1-28.b9031db. 2020-01-25 23:53:25 +00:00
cinnamon.scm gnu: cinnamon-desktop: Don't use unstable tarball. 2019-11-25 14:08:30 +02:00
clojure.scm gnu: Add clojure-tools-cli. 2020-01-08 23:21:14 +01:00
cluster.scm gnu: keepalived: Update to 2.0.19. 2020-01-08 10:21:46 +03:00
cmake.scm gnu: cmake@3.15.5: Honor 'SSL_CERT_DIR' and 'SSL_CERT_FILE'. 2020-01-12 00:19:09 +01:00
cobol.scm
code.scm gnu: global: Update to 6.6.4. 2020-01-16 19:51:55 +01:00
commencement.scm gnu: make-gcc-toolchain: Fix typo in description. 2020-01-11 21:28:05 +01:00
compression.scm gnu: snappy: Update to 1.1.8. 2020-01-20 21:53:51 +01:00
compton.scm gnu: picom: Correct typo. 2019-12-28 14:31:57 -06:00
conky.scm gnu: conky: Add Pulseaudio support. 2019-10-01 18:11:25 +02:00
connman.scm gnu: cmst: Update to 2019.01.13. 2019-12-18 10:29:28 +02:00
cook.scm
coq.scm gnu: coq-stdpp: Reword comment. 2020-01-07 13:03:07 -06:00
cpio.scm gnu: cpio: Update to 2.13 [fixes CVE-2015-1197, CVE-2019-14866]. 2019-11-06 12:12:51 +01:00
cpp.scm gnu: catch-framework2: Update to 2.1.2. 2019-12-19 23:21:06 +01:00
cppi.scm
cran.scm gnu: r-dummies: Use HTTPS home page. 2020-01-20 04:51:07 +01:00
crates-io.scm gnu: rust-serde-bytes-0.11: Fix spelling of "handle". 2020-01-24 02:38:11 -08:00
cross-base.scm gnu: mingw-w64: Add -winpthreads variants. 2019-10-21 17:39:08 -04:00
crypto.scm gnu: keyutils: Update to 1.6.1. 2020-01-23 00:06:52 +01:00
cryptsetup.scm gnu: cryptsetup: Update to 2.2.2. 2019-11-02 22:09:15 +01:00
cups.scm gnu: hplip: Fix scanner model detection. 2020-01-10 00:25:50 +01:00
curl.scm gnu: curl: Replace with 7.66.0 [fixes CVE-2019-5481, CVE-2019-5482]. 2019-10-13 22:49:16 +02:00
cvassistant.scm gnu: Add cvassistant. 2019-08-26 10:47:12 +02:00
cyrus-sasl.scm
databases.scm gnu: libmemcached: Fix build. 2020-01-23 00:06:52 +01:00
datamash.scm gnu: datamash: Update to 1.5. 2019-09-23 09:38:50 +03:00
datastructures.scm gnu: sdsl-lite: Don't use bundled libraries. 2019-11-25 14:08:32 +02:00
dav.scm gnu: vdirsyncer: Skip tests. 2019-10-04 12:21:45 +03:00
dbm.scm
dc.scm gnu: ncdc: Update to 1.22.1. 2019-12-01 00:49:15 +01:00
debian.scm
debug.scm gnu: stress-make: Avoid top-level reference to 'gnu-make'. 2019-12-02 11:16:31 +01:00
dejagnu.scm
dico.scm
dictionaries.scm gnu: translate-shell: Fix emacs install phase. 2020-01-16 22:00:12 +02:00
diffoscope.scm gnu: diffoscope: Update to 135. 2020-01-17 13:08:46 -08:00
digest.scm gnu: xxhash: Update to 0.7.2. 2019-12-23 19:45:57 +01:00
direct-connect.scm
disk.scm gnu: gparted: Update to 1.1.0. 2020-01-23 00:10:49 +01:00
display-managers.scm gnu: sddm: Use fixed qt-build-system. 2019-12-23 16:05:50 +01:00
distributed.scm gnu: boinc-client: Update to 7.16.3. 2019-12-23 19:45:57 +01:00
django.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
djvu.scm
dlang.scm
dns.scm gnu: bind: Update to 9.14.10. 2020-01-23 04:57:50 +01:00
docbook.scm gnu: Use HTTPS for docbook.org. 2020-01-19 06:09:01 +01:00
docker.scm gnu: docker-cli: Install shell completion. 2019-12-08 10:39:09 +03:00
documentation.scm
drones.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
dunst.scm gnu: dunst: Don't use unstable tarball. 2019-12-24 15:25:18 +02:00
dvtm.scm
easyrpg.scm gnu: liblcf, easyrpg: Update to 0.6.1. 2020-01-19 06:09:02 +01:00
ebook.scm gnu: xchm: Update to 1.31. 2019-12-23 19:45:57 +01:00
ed.scm Revert "gnu: ed: Update to 1.15." 2019-08-18 12:20:53 +02:00
education.scm gnu: fet: Fix hash. 2019-12-30 10:10:22 +01:00
efi.scm gnu: gnu-efi: Update to 3.0.11. 2019-12-01 00:49:16 +01:00
electronics.scm gnu: libsigrok: Update to 0.5.2. 2020-01-02 00:47:13 +01:00
elf.scm gnu: patchelf: Update to 0.10. 2019-11-11 11:00:33 +02:00
elixir.scm gnu: elixir: Update to 1.9.4. 2019-11-16 23:10:24 +02:00
elm.scm gnu: elm-compiler: Fix Cabal dependency constraints. 2019-11-20 20:48:50 -05:00
emacs-xyz.scm gnu: emacs-org-contrib: Update to 20200126. 2020-01-27 00:02:34 +01:00
emacs.scm Update email address for Amin Bandali. 2020-01-17 18:30:33 +01:00
embedded.scm gnu: jimtcl: Update to 0.79. 2020-01-24 10:31:29 +02:00
emulators.scm gnu: pcsxr: Wrap with GSETTINGS_SCHEMA_DIR path variable. 2020-01-26 19:12:22 -05:00
enchant.scm gnu: Add python-pyenchant. 2020-01-26 18:49:51 +01:00
engineering.scm gnu: freehdl: Fix build. 2020-01-26 10:32:39 +01:00
enlightenment.scm gnu: terminology: Update to 1.6.0. 2019-12-10 13:10:31 +02:00
entr.scm gnu: entr: Fix references to external programs. 2020-01-12 00:19:10 +01:00
erlang.scm gnu: emacs-erlang: Rename the set-emacs-load-path phase. 2019-11-19 13:07:06 +09:00
fabric-management.scm gnu: ucx: Avoid relying on /sys/class/net. 2019-11-16 17:43:49 +01:00
fcitx.scm gnu: fcitx-configtool: Don't use NAME in source URI. 2019-11-08 14:13:42 +01:00
figlet.scm
file-systems.scm gnu: Add jfs_fsck-static. 2020-01-03 13:54:13 +01:00
file.scm
finance.scm gnu: libofx: Disable parallel build. 2020-01-26 13:59:39 +01:00
firmware.scm gnu: arm-trusted-firmware: Update to 2.2. 2020-01-08 22:24:17 -08:00
flashing-tools.scm gnu: uefitool: Update to 0.26.0. 2019-11-20 10:02:47 +02:00
flex.scm
fltk.scm
fonts.scm gnu: font-adobe-source-serif-pro: Don't use unstable tarball. 2020-01-23 00:06:51 +01:00
fontutils.scm gnu: Add FontManager. 2019-10-18 12:02:52 +02:00
forth.scm
fpga.scm gnu: gtkwave: Update to 3.3.103. 2020-01-22 06:20:00 +01:00
freedesktop.scm gnu: libqmi: Update to 1.24.4. 2020-01-23 22:43:47 +01:00
freeipmi.scm gnu: freeipmi: Update to 1.6.4. 2019-08-22 17:59:30 +02:00
fribidi.scm gnu: fribidi: Fix CVE-2019-18397. 2019-11-09 21:07:10 +02:00
ftp.scm
fvwm.scm gnu: fvwm: Update to 2.6.9. 2019-11-10 00:32:22 +01:00
game-development.scm gnu: ode: Selectively disable tests. 2020-01-25 19:33:57 +01:00
games.scm gnu: kobodeluxe: Provide missing dependency. 2020-01-26 16:30:25 +01:00
gawk.scm
gcal.scm
gcc.scm gnu: gfortran: change to a hidden package 2019-12-17 17:41:28 +01:00
gd.scm
gdb.scm gnu: rust: Use GDB 8.2 for tests. 2019-10-18 18:18:27 +02:00
genealogy.scm gnu: gramps: Update to 5.1.2. 2020-01-19 17:57:20 +01:00
genimage.scm
geo.scm gnu: python-maxminddb, python-geoip2: Use HTTPS home page. 2020-01-17 23:32:33 +01:00
gettext.scm gnu: po4a: Update to 0.57. 2019-10-27 00:49:25 +02:00
ghostscript.scm Merge branch 'master' into core-updates 2019-09-06 20:46:00 -04:00
gimp.scm gnu: gegl: Update to 0.4.20. 2020-01-22 06:20:01 +01:00
gkrellm.scm
gl.scm Merge branch 'master' into staging 2020-01-03 19:41:05 +01:00
glib.scm gnu: appstream-glib: Fix test failure. 2020-01-07 18:18:12 +01:00
gnome-xyz.scm Revert "gnu: gnome-shell-extension-dash-to-dock: Update to 67." 2019-12-25 11:10:57 +01:00
gnome.scm gnu: gnome: Add missing inputs. 2020-01-23 02:26:37 +01:00
gnu-doc.scm
gnu-pw-mgr.scm
gnucash.scm gnu: gnucash: Enable libofx support. 2020-01-17 15:19:14 -05:00
gnunet.scm gnu: gnurl: Update to 7.67.0. 2020-01-22 11:28:26 +02:00
gnupg.scm gnu: guile-gcrypt: Update to 0.2.1. 2019-12-15 22:54:57 +01:00
gnustep.scm
gnuzilla.scm gnu: Add firefox-decrypt. 2020-01-18 18:58:47 +03:00
gobby.scm gnu: Remove more GCC < 7 workarounds. 2019-10-20 14:00:12 +02:00
golang.scm gnu: Go: Update to 1.12.15. 2020-01-22 00:09:35 -05:00
gperf.scm
gpodder.scm gnu: gpodder: Update to 3.10.11. 2019-10-08 23:07:09 +02:00
gps.scm gnu: gpxsee: Update to 7.16. 2019-10-30 05:21:04 +01:00
graph.scm gnu: Use HTTPS for bioconductor.org. 2020-01-21 00:43:39 +01:00
graphics.scm gnu: blender: Update to 2.81a. 2020-01-20 04:49:51 +01:00
graphviz.scm gnu: python-graphviz: Update to 0.13.2. 2020-01-16 19:20:22 +01:00
groff.scm
groovy.scm
gsasl.scm gnu: gsasl: Do not build 'libgsasl.a'. 2020-01-23 22:43:46 +01:00
gstreamer.scm gnu: gst-plugins-base: Do not propagate Orc on armhf systems. 2020-01-12 20:33:53 +01:00
gtk.scm gnu: guile-present: Add "guile3.0-present". 2020-01-23 11:26:56 +01:00
guile-wm.scm gnu: guile-wm: Fix cross-compilation. 2019-09-04 18:01:49 +02:00
guile-xyz.scm gnu: Add guile3.0-gi. 2020-01-26 13:09:35 +01:00
guile.scm gnu: guile-next: Disable JIT on armhf-linux. 2020-01-23 11:26:55 +01:00
gv.scm
gxmessage.scm
ham-radio.scm gnu: rtl-sdr: Update to 0.6.0. 2020-01-01 23:02:54 +01:00
hardware.scm gnu: wavemon: Update to 0.9.1. 2020-01-17 03:57:30 +01:00
haskell-apps.scm gnu: git-annex: Update to 7.20191230. 2019-12-31 11:35:02 +02:00
haskell-check.scm gnu: Add ghc-testing-feat. 2019-11-20 20:48:52 -05:00
haskell-crypto.scm gnu: ghc-cryptohash-sha256: Update Cabal file to r3. 2019-11-20 20:48:39 -05:00
haskell-web.scm gnu: Add ghc-happstack-server. 2019-12-06 15:48:20 -06:00
haskell-xyz.scm gnu: ghc-time-compat: Fix typo "This package". 2020-01-24 02:38:00 -08:00
haskell.scm gnu: Use GHC 8.6.5 as the main Haskell compiler. 2019-11-20 20:47:48 -05:00
hexedit.scm
hugs.scm
hurd.scm
hyperledger.scm
i2p.scm gnu: i2pd: Update to 2.29.0. 2019-12-09 18:32:05 +01:00
ibus.scm gnu: ibus-rime: Record the right file name in "rime.xml". 2020-01-06 16:31:54 +01:00
icu4c.scm gnu: icu4c: Make 'libicudata.so' behave the same on all architectures. 2019-07-31 14:41:35 +02:00
idris.scm gnu: idris: Fix Cabal dependency constraints. 2019-11-20 20:48:50 -05:00
idutils.scm
image-processing.scm gnu: dcmtk: Update to 3.6.5. 2019-12-01 00:49:13 +01:00
image-viewers.scm gnu: qview: Update to 3.0. 2020-01-18 23:58:57 +01:00
image.scm gnu: pngquant: Update to 2.12.6. 2020-01-20 04:49:51 +01:00
imagemagick.scm Merge branch 'master' into staging 2019-12-13 07:58:30 -06:00
inklingreader.scm
inkscape.scm
installers.scm gnu: make-nsis: Fix cross-compilation. 2019-10-30 11:20:00 -04:00
ipfs.scm gnu: gx: Update to 0.14.2. 2019-12-12 03:02:30 +01:00
irc.scm gnu: irssi: Update to 1.2.2. 2020-01-08 10:21:46 +03:00
iso-codes.scm
java-compression.scm
java-graphics.scm gnu: Add java-marlin-renderer. 2019-12-20 23:20:56 +01:00
java-maths.scm gnu: Add 'file-name' where appropriate. 2019-11-10 12:42:10 +02:00
java.scm gnu: java-jcommander: Use HTTPS home page. 2020-01-19 17:57:09 +01:00
javascript.scm gnu: font-mathjax: Don't use unstable tarball. 2020-01-26 14:55:07 +02:00
jemalloc.scm
jose.scm
jrnl.scm gnu: jrnl: Don't use unstable tarball. 2019-11-03 06:38:55 +01:00
julia.scm gnu: julia: Set search path. 2019-09-04 22:18:07 +02:00
jupyter.scm gnu: Remove duplicate nlohmann-json-cpp package. 2019-12-04 20:10:34 +01:00
kawa.scm
kde-frameworks.scm gnu: Add purpose. 2019-12-21 20:07:51 +01:00
kde-multimedia.scm gnu: Add ffmpegthumbs. 2019-12-26 16:44:54 +01:00
kde-plasma.scm Merge branch 'master' into staging 2019-11-28 00:38:25 +01:00
kde-utils.scm gnu: Remove "tags" properties for KDE utils. 2019-12-23 20:59:48 +01:00
kde.scm gnu: Use the two-element 'define-deprecated' form where applicable. 2020-01-12 00:19:09 +01:00
kerberos.scm
key-mon.scm
kodi.scm Merge branch 'master' into staging 2019-10-21 00:33:43 +02:00
language.scm gnu: Add link-grammar. 2020-01-04 22:38:12 +01:00
ld-wrapper.in
lean.scm Update email address for Amin Bandali. 2020-01-17 18:30:33 +01:00
lego.scm gnu: leocad: Update to 19.07.1. 2019-12-18 22:57:44 -06:00
less.scm gnu: less: Update to 551. 2019-12-03 01:52:45 +01:00
lesstif.scm
libbsd.scm
libcanberra.scm
libdaemon.scm
libedit.scm gnu: libedit: Download over HTTPS. 2019-10-30 04:28:58 +01:00
libevent.scm Merge branch 'master' into core-updates 2019-09-24 10:11:38 +02:00
libffcall.scm
libffi.scm
libftdi.scm
libidn.scm
libphidget.scm
libreoffice.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
libsigsegv.scm
libunistring.scm
libunwind.scm
libusb.scm gnu: hidapi: Declare a source file-name. 2020-01-19 09:30:34 +02:00
license.scm gnu: reuse: Download from PyPI. 2020-01-10 23:47:28 +01:00
lighting.scm
linux.scm gnu: linux-libre: Update to 5.4.15. 2020-01-26 13:33:49 -05:00
lirc.scm
lisp-xyz.scm gnu: sbcl-ironclad: Update to 0.48. 2020-01-20 11:04:26 +01:00
lisp.scm gnu: ecl: Use system ASDF instead of bundled one. 2020-01-17 17:41:46 +01:00
llvm.scm gnu: python-llvmlite: Update to 0.30.0. 2019-12-23 17:29:13 -06:00
logging.scm gnu: multitail: Update to 6.5.0. 2019-11-11 06:46:33 +01:00
logo.scm
lolcode.scm gnu: lci: Don't use unstable tarball. 2019-11-03 06:38:56 +01:00
lout.scm
lsof.scm gnu: lsof: Don't capture details about the build machine's kernel. 2019-11-30 23:50:40 +01:00
lua.scm gnu: lua-luv: Update to 1.32.0-0. 2020-01-06 15:01:29 +02:00
lxde.scm gnu: lxtask: Don't use NAME in source URI. 2019-12-25 17:10:51 +01:00
lxqt.scm gnu: pcmanfm-qt: Fix opening files by double-click. 2020-01-11 21:28:05 +01:00
m4.scm
machine-learning.scm gnu: ghmm: Fix missing module import. 2020-01-26 16:30:25 +01:00
magic-wormhole.scm
mail.scm gnu: mailutils: Add "guile3.0-mailutils" variant. 2020-01-26 23:21:38 +01:00
make-bootstrap.scm gnu: make-bootstrap: Slightly clarify 'package-with-relocatable-glibc'. 2019-11-09 23:04:14 +01:00
man.scm gnu: help2man: Update to 1.47.12. 2020-01-14 23:50:24 +01:00
markup.scm gnu: cmark: Update to 0.29.0. 2019-11-20 10:02:48 +02:00
marst.scm
mastodon.scm gnu: toot: Make propagated-inputs regular inputs. 2019-12-03 11:00:14 +02:00
mate.scm gnu: mate-terminal: Update to 1.23.0. 2020-01-09 01:46:29 +01:00
maths.scm gnu: wxmaxima: Update to 20.01.3. 2020-01-23 14:22:41 -05:00
maven.scm gnu: Fix typo. 2019-12-23 19:45:56 +01:00
mc.scm
mcrypt.scm
medical.scm
mes.scm gnu: mes: Update to 0.22. 2020-01-23 09:00:49 +01:00
messaging.scm gnu: tdlib: Update to 1.5.5. 2020-01-24 16:18:42 -06:00
microcom.scm gnu: microcom: Use HTTPS home page. 2019-12-03 01:52:45 +01:00
mingw.scm gnu: mingw-w64: Add -winpthreads variants. 2019-10-21 17:39:08 -04:00
moe.scm
monitoring.scm gnu: zabbix-agentd: Update to 4.4.1. 2019-11-03 14:46:51 +03:00
mono.scm
moreutils.scm
motti.scm
mp3.scm gnu: eyed3: Update to 0.8.12. 2020-01-03 13:54:12 +01:00
mpd.scm gnu: ncmpcpp: Enable the clock feature. 2020-01-15 07:29:39 -05:00
mpi.scm gnu: Use the two-element 'define-deprecated' form where applicable. 2020-01-12 00:19:09 +01:00
mtools.scm
multiprecision.scm gnu: libtommath: Update to 1.2.0. 2019-10-22 15:48:48 +03:00
music.scm gnu: musescore: Update to 3.4.1. 2020-01-25 23:38:52 +01:00
musl.scm gnu: musl: Update to 1.1.24. 2020-01-03 13:54:11 +01:00
nano.scm gnu: nano: Update to 4.7. 2019-12-23 15:41:22 +02:00
ncdu.scm gnu: ncdu: Update to 1.14.1. 2019-12-01 00:49:13 +01:00
ncurses.scm gnu: dialog: Update to 1.3-20191110. 2019-11-12 03:33:06 +01:00
netpbm.scm
nettle.scm
networking.scm gnu: ethtool: Update to 5.4. 2020-01-16 19:51:54 +01:00
nfs.scm gnu: nfs-utils: Build rpc.svcgssd. 2020-01-10 22:45:09 +01:00
nickle.scm
nim.scm gnu: nim: Fix /bin/sh substitution in C code. 2020-01-21 21:24:26 +01:00
ninja.scm
node-xyz.scm gnu: Add node-color-name. 2020-01-20 09:40:01 +02:00
node.scm Merge branch 'master' into core-updates 2019-09-24 10:11:38 +02:00
noweb.scm gnu: noweb: Declare a source file-name. 2020-01-19 09:31:55 +02:00
nss.scm gnu: nss: Remove replacement package. 2019-12-11 23:21:55 +01:00
ntp.scm gnu: tlsdate: Build against OpenSSL@1.0. 2019-09-29 16:39:19 +02:00
nutrition.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
nvi.scm
ocaml.scm gnu: ocaml: Switch to ocaml 4.09 by default. 2020-01-27 03:56:06 +01:00
ocr.scm gnu: Add python2-zinnia. 2019-09-17 13:29:03 +08:00
onc-rpc.scm
openbox.scm
opencl.scm gnu: hwloc: Update to 2.1.0. 2019-11-15 17:52:45 +01:00
opencog.scm gnu: agi-bio: Update hash. 2020-01-05 21:38:59 +01:00
openldap.scm Merge branch 'master' into core-updates 2019-10-07 17:06:13 +02:00
openstack.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
orpheus.scm
ots.scm
package-management.scm gnu: guix: Add "guile3.0-guix" variant. 2020-01-17 22:41:56 +01:00
parallel.scm gnu: parallel: Update to 20191222. 2019-12-22 21:04:38 +01:00
password-utils.scm gnu: argon2: Update to 20190702. 2020-01-22 14:17:32 +02:00
patchutils.scm gnu: meld: Wrap with Glib or Gtk path variables. 2019-10-27 18:57:25 +01:00
pciutils.scm
pcre.scm gnu: pcre2: Do not build static libraries. 2019-12-11 23:21:55 +01:00
pdf.scm gnu: impressive: Update to 0.12.1. 2020-01-11 03:12:19 +01:00
pem.scm
perl6.scm gnu: perl6-json-fast: Update to 0.10. 2019-11-04 13:53:16 +01:00
perl-check.scm gnu: perl-test-simple: Update to 1.302169. 2019-11-24 13:32:58 +01:00
perl-compression.scm gnu: perl-archive-extract: Update to 0.82. 2019-11-30 22:14:10 +01:00
perl-web.scm
perl.scm gnu: perl-term-readline-gnu: Fix library initialization. 2020-01-22 22:50:55 -06:00
phabricator.scm
photo.scm gnu: darktable: Update to 2.6.3. 2019-12-18 22:36:37 +01:00
php.scm gnu: php: Update to 7.4.1. 2019-12-24 12:46:21 +02:00
pkg-config.scm gnu: pkg-config: Memoize 'cross-pkg-config'. 2019-11-07 18:39:55 +01:00
plotutils.scm gnu: asymptote: Add missing input. 2020-01-16 22:39:23 +01:00
poedit.scm gnu: poedit: Update to 2.2.4. 2019-10-14 17:14:45 +02:00
polkit.scm gnu: polkit-qt: Use https for home-page. 2019-11-10 11:50:24 +02:00
popt.scm gnu: popt: Add a source file name. 2020-01-15 20:36:32 +01:00
pretty-print.scm gnu: Remove fmt-restinio. 2019-12-11 22:49:30 +01:00
printers.scm gnu: brlaser: Update to 6. 2019-11-20 00:16:51 +01:00
profiling.scm gnu: opari2: Update to 2.0.5. 2020-01-03 13:54:11 +01:00
prolog.scm gnu: swi-prolog: Update to 8.1.21. 2020-01-24 16:31:13 -06:00
protobuf.scm gnu: protozero: Update to 1.6.8. 2020-01-03 13:54:11 +01:00
pth.scm
pulseaudio.scm gnu: pulsemixer: Update to 1.5.0. 2020-01-22 14:17:13 +02:00
pumpio.scm
pure.scm
pv.scm
python-check.scm gnu: add python-httmock. 2020-01-26 18:50:02 +01:00
python-compression.scm gnu: python-zipp: Remove redundant inputs. 2020-01-16 19:20:20 +01:00
python-crypto.scm gnu: python-keyring: Update to 21.0.0. 2020-01-11 23:49:11 +02:00
python-science.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
python-web.scm gnu: Add python-gitlab. 2020-01-26 18:50:04 +01:00
python-xyz.scm Revert "gnu: Add python-pathtools." 2020-01-26 23:39:35 +01:00
python.scm gnu: Add python-3.8. 2019-11-20 00:16:51 +01:00
qt.scm gnu: qt@4: Build with libjpeg-turbo. 2020-01-20 21:53:52 +01:00
ragel.scm
rails.scm gnu: ruby-spring: Don't use unstable tarball. 2019-12-28 23:00:48 +02:00
ratpoison.scm
rcm.scm gnu: Add rcm. 2020-01-15 23:48:33 +01:00
rdesktop.scm gnu: rdesktop: Update to 1.9.0. 2019-11-09 10:33:46 -06:00
rdf.scm gnu: sord: Update to 0.16.4. 2019-11-12 03:33:06 +01:00
re2c.scm gnu: re2c: Update to 1.2.1. 2019-10-12 15:18:26 +02:00
readline.scm
rednotebook.scm gnu: Add rednotebook. 2019-08-29 19:15:14 +02:00
regex.scm gnu: re2: Update to 2020-01-01. 2020-01-20 21:53:51 +01:00
robotics.scm gnu: protobuf: Update to 3.10.0. 2019-10-21 00:26:14 +02:00
rrdtool.scm gnu: rrdtool: Update to 1.7.2. 2020-01-10 04:46:41 +01:00
rsync.scm gnu: rsync: Update home page. 2020-01-14 23:50:24 +01:00
ruby.scm gnu: turn: Use HTTPS home page. 2020-01-19 06:09:02 +01:00
rush.scm
rust-apps.scm gnu: tokei: Unbundle some dependencies. 2020-01-21 16:24:01 +02:00
rust.scm gnu: rust@1.27: Add comment about GDB requirement. 2019-10-18 18:28:32 +02:00
sagemath.scm gnu: zn-poly: Update to 0.9.2. 2020-01-15 14:31:23 +01:00
samba.scm gnu: ldb: Downgrade to 1.5.6. 2020-01-16 19:20:21 +01:00
sawfish.scm
scanner.scm gnu: xsane: Fix snprintf buffer length. 2019-11-22 22:16:32 +01:00
scheme.scm gnu: sicp: Remove unused module import. 2020-01-27 00:47:57 +01:00
screen.scm gnu: screen: Update to 4.7.0. 2019-10-02 20:57:46 +03:00
scribus.scm Merge branch 'master' into core-updates 2019-08-13 20:42:06 +02:00
scsi.scm
sdcc.scm
sdl.scm gnu: sdl2-image: Update to 2.0.5. 2020-01-09 03:13:35 +03:00
sdr.scm gnu: Add liquid-dsp. 2020-01-15 23:48:32 +01:00
search.scm gnu: python-xapian-bindings: Sphinx is a native input. 2019-11-28 00:33:48 +01:00
security-token.scm gnu: opensc: Eliminate obsolete test disablement. 2020-01-10 23:47:28 +01:00
selinux.scm
serialization.scm gnu: jsoncpp: Fix test failure on armhf-linux and aarch64-linux. 2020-01-12 20:33:52 +01:00
serveez.scm
shells.scm gnu: xonsh: Use HTTPS home page. 2020-01-17 23:32:34 +01:00
shellutils.scm gnu: Add shell-functools. 2019-11-24 09:31:26 +03:00
simh.scm
simulation.scm gnu: fenics: Update to 2019.1.0.post0. 2020-01-23 16:50:00 +00:00
skarnet.scm gnu: s6-rc: Update to 0.5.1.1. 2020-01-09 03:05:02 +03:00
skribilo.scm
slang.scm
smalltalk.scm
sml.scm Update email for Brett Gilio. 2019-12-19 11:35:23 -06:00
speech.scm gnu: sonic: Don't use unstable tarball. 2019-11-13 22:07:52 +02:00
sphinx.scm gnu: python-sphinxcontrib-svg2pdfconverter: Fix license. 2019-12-23 17:27:21 -06:00
spice.scm gnu: spice: Fix test failure on armhf-linux. 2020-01-12 22:23:27 +01:00
sqlite.scm
squirrel.scm
ssh.scm gnu: lsh: Use HTTPS home page. 2020-01-20 04:22:26 +01:00
sssd.scm gnu: sssd: Update to 1.16.4. 2019-08-14 22:25:30 +02:00
stalonetray.scm
statistics.scm gnu: r-ranger: Update to 0.12.1. 2020-01-16 06:53:28 +01:00
stb.scm
storage.scm gnu: Ceph: Update to 14.2.5. 2020-01-07 18:18:11 +01:00
suckless.scm gnu: Add scron. 2019-09-09 21:53:26 +08:00
swig.scm
sync.scm gnu: Add megatools. 2020-01-24 21:30:58 +00:00
syncthing.scm gnu: go-gopkg.in-asn1-ber.v1: Update comment. 2019-10-29 11:03:13 -04:00
syndication.scm
synergy.scm gnu: synergy: Update to 1.11.0. 2020-01-17 17:34:35 -06:00
task-management.scm
tbb.scm gnu: tbb: Update to 2020.0. 2019-12-23 19:45:58 +01:00
tcl.scm gnu: tcl: Update home page. 2019-10-13 18:35:59 +02:00
telephony.scm gnu: libsrtp: Build shared library. 2020-01-20 21:53:52 +01:00
terminals.scm gnu: beep: Update to 1.4.7. 2020-01-03 13:54:11 +01:00
terraform.scm
tex.scm Adjust module autoloads. 2020-01-06 16:31:54 +01:00
texinfo.scm gnu: pinfo: Fix spelling of "additionally". 2020-01-24 02:37:54 -08:00
text-editors.scm gnu: Add missing modules. 2020-01-26 19:25:19 +01:00
textutils.scm gnu: pfff: Use HTTPS home page. 2020-01-19 17:57:08 +01:00
time.scm gnu: datefudge: Update to 1.23. 2019-11-30 22:15:01 +01:00
tls.scm gnu: certbot: Update to 1.0.0. 2019-12-13 06:47:03 -06:00
tmux.scm gnu: tmux: Update to 3.0a. 2019-12-04 08:33:31 -05:00
tor.scm gnu: tor: Update to 0.4.2.5. 2019-12-10 00:29:22 +01:00
toys.scm gnu: Add xsnow. 2019-12-20 22:45:57 +01:00
tryton.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
tv.scm
uml.scm gnu: plantuml: Use HTTPS home page. 2020-01-19 17:57:08 +01:00
unrtf.scm
upnp.scm gnu: miniupnpc: Update to 2.1.20191224. 2020-01-17 03:57:30 +01:00
usb-modeswitch.scm gnu: USB_ModeSwitch data: Update to 20191128. 2020-01-20 08:57:24 +00:00
uucp.scm
valgrind.scm
version-control.scm gnu: stgit: Update to 0.21. 2020-01-17 03:57:30 +01:00
video.scm gnu: youtube-dl: Update to 2020.01.24. 2020-01-25 20:54:41 +05:30
vim.scm gnu: vim-fugitive: Update to 3.2. 2020-01-26 14:55:04 +02:00
virtualization.scm gnu: QEMU: Update to 4.2.0. 2020-01-24 21:09:33 -05:00
vnc.scm gnu: Add libvnc. 2020-01-22 12:43:49 +01:00
vpn.scm gnu: vpnc: Use HTTPS home page. 2020-01-17 23:32:33 +01:00
vulkan.scm Merge branch 'master' into staging 2019-10-08 19:24:34 +02:00
w3m.scm
wdiff.scm
web-browsers.scm gnu: dillo: Use HTTPS home page. 2020-01-19 17:57:08 +01:00
web.scm gnu: sassc/libsass-3.5: Hide. 2020-01-23 10:46:35 +01:00
webkit.scm gnu: WebKitGTK: Update to 2.26.3. 2020-01-24 21:09:33 -05:00
wget.scm gnu: wgetpaste: Fix license. 2019-12-30 09:42:31 +02:00
wicd.scm
wine.scm gnu: wine-staging: Update to 5.0. 2020-01-24 22:37:32 +01:00
wireservice.scm gnu: python-lxml: Move to (gnu packages xml). 2020-01-15 20:36:34 +01:00
wm.scm gnu: menumaker: Update to 0.99.11. 2020-01-15 14:31:22 +01:00
wordnet.scm
wv.scm
wxwidgets.scm gnu: Add python-wxpython. 2019-11-05 19:51:06 +05:30
xdisorg.scm gnu: jgmenu: Update to 4.0.1. 2020-01-23 11:53:52 +01:00
xfce.scm gnu: thunar: Update to 1.8.11. 2020-01-11 03:12:18 +01:00
xfig.scm
xiph.scm Merge branch 'staging' 2020-01-07 17:43:20 +01:00
xml.scm gnu: python-xmlschema: Update to 1.1.0. 2020-01-26 13:59:39 +01:00
xnee.scm
xorg.scm gnu: xorg-server: Update to 1.20.7. 2020-01-20 21:53:52 +01:00
zile.scm
zwave.scm