Release v0.1.49 · agda/agda-pkg

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

v0.1.49
113e314
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.49

v0.1.49
113e314
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 03 May 11:42

[ v0.1.49 ] [ apkg nixos ] fixed package-data setup and --yes flag.

Assets 2

Provide feedback