Package: agda / 2.8.0-2

Metadata

Package Version Patches format
agda 2.8.0-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
var lib agda | (download)

src/full/Agda/Interaction/Library.hs | 8 7 + 1 - 0 !
1 file changed, 7 insertions(+), 1 deletion(-)

 
---