Public bug reported:
libghc-agda-dev ships a number of files present in
[`src/data`](https://github.com/agda/agda/tree/master/src/data) such as
`Agda.css` however
`MAlonzo/RTE.hs` seems to have been overlooked.
This means that it is not possible to compile programs using the Agda
provided by the package.
`MAlonzo/RTE.hs` should be installed at `/usr/share/libghc-agda-
dev/MAlonzo/src/MAlonzo/RTE.hs`.
** Affects: agda (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1861066
Title:
Missing MAlonzo.RTE file
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/agda/+bug/1861066/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
