[Git][haskell-team/package-plan][master] Add copilot-language
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Tue Sep 13 01:01:29 BST 2022
Scott Talbert pushed to branch master at Debian Haskell Group / package-plan
Commits:
78779c58 by Scott Talbert at 2022-09-12T19:58:07-04:00
Add copilot-language
- - - - -
1 changed file:
- packages.txt
Changes:
=====================================
packages.txt
=====================================
@@ -164,6 +164,7 @@ convertible 1.1.1.1
cookie 0.4.5
copilot-c99 3.10
copilot-core 3.10
+copilot-language 3.10
copilot-theorem 3.10
cpphs 1.20.9.1
cprng-aes 0.6.1
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/78779c58ca2248f33e54c380559fcb51f3d3cabe
--
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/78779c58ca2248f33e54c380559fcb51f3d3cabe
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/20220913/36b0b528/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list