[Git][haskell-team/package-plan][master] Add copilot-theorem

[Scott Talbert (@swt2c)]

Scott Talbert pushed to branch master at Debian Haskell Group / package-plan


Commits:
5fdc35b4 by Scott Talbert at 2022-08-18T17:26:44-04:00
Add copilot-theorem

- - - - -


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-theorem 3.10
 cpphs 1.20.9.1
 cprng-aes 0.6.1
 cpu 0.1.2



View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/5fdc35b48e0147e6ec0adf1a0426ff9489f93173

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/package-plan/-/commit/5fdc35b48e0147e6ec0adf1a0426ff9489f93173
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/20220818/47caa93e/attachment.htm>