Release v0.1.50 · agda/agda-pkg

This repository was archived by the owner on Apr 26, 2026. It is now read-only.

v0.1.50
1140095
Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.

Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v0.1.50

v0.1.50
1140095
Choose a tag to compare

Filter

View all tags
Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.

Learn about vigilant mode

jonaprieto tagged this 18 May 00:24

Closes #41

Assets 2

Provide feedback