Package: agda / 2.3.0.1-2

Metadata

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

Patch series

view the series file
Patch File delta Description
extend mtl dependenc | (download)

Agda.cabal | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 
 extend mtl dependency