[Git][haskell-team/agda-stdlib] Pushed new tag upstream/1.1
Gianfranco Costamagna
gitlab at salsa.debian.org
Wed Sep 4 14:26:21 BST 2019
Gianfranco Costamagna pushed new tag upstream/1.1 at Debian Haskell Group / agda-stdlib
--
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/tree/upstream/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/20190904/3d4f03fd/attachment.html>
More information about the Pkg-haskell-commits
mailing list