jpoiret pushed a change to branch master
in repository guix.
from b8fd792ea2 gnu: python-docstring-to-markdown: Enable tests.
new b7a4ce82ec gnu: ocaml-cairo2: Only build cairo2 package, remove
unneeded deps.
new a531af142f gnu: lablgtk: Remove variable.
new 96c490e0ce gnu: agda: Update to 2.7.0.1.
new 402a3a4e80 gnu: agda-stdlib: Update to 2.1.13
new 2419302ca1 gnu: agda-categories: Update to 0.2.0.
new fd299f580d gnu: agda-cubical: Update to 0.7.
new bea5e1e239 gnu: agda-1lab: Update to
afcf848d367f906d6d07d1612fbd41d7dd8c978e.
The 7 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
gnu/local.mk | 2 +-
gnu/packages/agda.scm | 30 ++++-----
gnu/packages/ocaml.scm | 72 +---------------------
.../patches/agda-categories-use-newer-stdlib.patch | 21 +++++++
.../patches/agda-categories-use-stdlib-1.7.3.patch | 28 ---------
5 files changed, 41 insertions(+), 112 deletions(-)
create mode 100644 gnu/packages/patches/agda-categories-use-newer-stdlib.patch
delete mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch
