[Git][haskell-team/agda-stdlib] Pushed new tag debian/1.7.1-1

Ilias Tsitsimpis (@iliastsi) gitlab at salsa.debian.org
Sat Aug 6 18:05:47 BST 2022



Ilias Tsitsimpis pushed new tag debian/1.7.1-1 at Debian Haskell Group / agda-stdlib

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/tree/debian/1.7.1-1
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20220806/a42c6622/attachment.htm>


More information about the Pkg-haskell-commits mailing list