Hi! On Thu, 2022-04-14 at 14:16 +0200, Attila Lendvai wrote: > * gnu/packages/idris.scm (idris-1.3.4): New variable, the latest from > the v1.x > line of Idris at the time of writing. > (make-idris-package): New function to instantiate a package of > Idris2. > (idris2-0.5.1): New variable. > * gnu/packages/patches/idris-build-with-haskeline-0.8.patch: Deleted. > * gnu/packages/patches/idris-build-with-megaparsec-9.patch: Deleted. > * gnu/packages/patches/idris-disable-test.patch: Deleted. > --- >  gnu/local.mk                                  |   3 - >  gnu/packages/idris.scm                        | 307 > +++++++++++++++++- >  .../idris-build-with-haskeline-0.8.patch      |  85 ----- >  .../idris-build-with-megaparsec-9.patch       |  27 -- >  gnu/packages/patches/idris-disable-test.patch |  19 -- >  5 files changed, 293 insertions(+), 148 deletions(-) >  delete mode 100644 gnu/packages/patches/idris-build-with-haskeline- > 0.8.patch >  delete mode 100644 gnu/packages/patches/idris-build-with-megaparsec- > 9.patch >  delete mode 100644 gnu/packages/patches/idris-disable-test.patch I've pushed the 1.3.4 update portion of this patch in commit 0cf1178a65. I am still reviewing the rest. `~Eric