Release v0.1.47 · agda/agda-pkg

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

v0.1.47
0a9f235
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.47

v0.1.47
0a9f235
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 14 Apr 21:54

[ v0.1.47 ] 1. new command: environment. 2. --branch NAME for --githu…

Assets 2

Provide feedback