Missing MAlonzo.RTE file
Bug #1861066 reported by
Guillaume Allais
This bug affects 3 people
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| agda (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned | ||
Bug Description
libghc-agda-dev ships a number of files present in [`src/data`](https:/
`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/
Revision history for this message
| Launchpad Janitor (janitor) wrote | #1 |
| Changed in agda (Ubuntu): | |
| status: | New → Confirmed |
To post a comment you must log in.
Status changed to 'Confirmed' because the bug affects multiple users.