[Git][haskell-team/DHG_packages] Pushed new tag agda_v2.6.3-2
Ilias Tsitsimpis (@iliastsi)
gitlab at salsa.debian.org
Thu Aug 29 13:59:10 BST 2024
Ilias Tsitsimpis pushed new tag agda_v2.6.3-2 at Debian Haskell Group / DHG_packages
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/tree/agda_v2.6.3-2
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/20240829/9f1fbd49/attachment.htm>
More information about the Pkg-haskell-commits
mailing list