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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs