Release v0.1.48 · agda/agda-pkg

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

v0.1.48
391384d
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.48

v0.1.48
391384d
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 29 Apr 12:20

[ v0.1.48 ] [ apkg nixos ] a new command to set up a nix-shell enviro…

Assets 2

Provide feedback