guix_mirror_bot pushed a change to branch master
in repository guix.
from b670a1ed28 gnu: Add emacs-markov-text.
new eb48c7db26 gnu: Remove emacs-idris-mode.
new 1e9581caa3 gnu: Remove idris-wl-pprint.
new c0d1c2760d gnu: Remove idris-bifunctors.
new cee82b7fbf gnu: Remove idris-lens.
new f9e92222d9 gnu: Remove idris-lightyear.
new e89d3a0857 gnu: Remove idris.
new 6bd2a77b7b gnu: Remove (gnu packages idris).
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/emacs-xyz.scm | 49 -----
gnu/packages/idris.scm | 283 ---------------------------
gnu/packages/patches/idris-test-ffi008.patch | 26 ---
po/packages/POTFILES.in | 1 -
5 files changed, 361 deletions(-)
delete mode 100644 gnu/packages/idris.scm
delete mode 100644 gnu/packages/patches/idris-test-ffi008.patch
