[Git][haskell-team/DHG_packages][master] copilot-theorem: Fixup d/copyright
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Wed Aug 24 21:54:12 BST 2022
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
d557cd87 by Scott Talbert at 2022-08-24T16:30:13-04:00
copilot-theorem: Fixup d/copyright
- - - - -
1 changed file:
- p/haskell-copilot-theorem/debian/copyright
Changes:
=====================================
p/haskell-copilot-theorem/debian/copyright
=====================================
@@ -4,7 +4,7 @@ Upstream-Contact: Ivan Perez <ivan.perezdominguez at nasa.gov>
Source: https://hackage.haskell.org/package/copilot-theorem
Files: *
-Copyright: none listed
+Copyright: National Institute of Aerospace / Galois Inc.
License: BSD-3-clause
Files: src/Copilot/Theorem/What4.hs
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/d557cd8761c64b75af0d6ca40b5d4f46b1e7e8a5
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/d557cd8761c64b75af0d6ca40b5d4f46b1e7e8a5
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/20220824/994782c4/attachment.htm>
More information about the Pkg-haskell-commits
mailing list