Package: agda / 2.5.4.1-3
Metadata
Package | Version | Patches format |
---|---|---|
agda | 2.5.4.1-3 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
var lib agda | (download) |
src/full/Agda/Interaction/Library.hs |
8 7 + 1 - 0 ! |
--- |
1