[Git][haskell-team/DHG_packages][master] 9 commits: language-c99-simple: Upgrading from 0.2.2 to 0.3.0

Scott Talbert (@swt2c) gitlab at salsa.debian.org
Tue Jan 9 01:11:39 GMT 2024 


Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
bf40668b by Scott Talbert at 2024-01-08T19:54:52-05:00
language-c99-simple: Upgrading from 0.2.2 to 0.3.0

- - - - -
e0cad100 by Scott Talbert at 2024-01-08T19:57:31-05:00
copilot: Upgrading from 3.17 to 3.18.1

- - - - -
732741a1 by Scott Talbert at 2024-01-08T20:00:28-05:00
copilot-c99: Upgrading from 3.17 to 3.18.1

- - - - -
c50c6c0e by Scott Talbert at 2024-01-08T20:01:39-05:00
copilot-core: Upgrading from 3.17 to 3.18.1

- - - - -
f2f7da08 by Scott Talbert at 2024-01-08T20:02:51-05:00
copilot-interpreter: Upgrading from 3.17 to 3.18.1

- - - - -
a3dbee3b by Scott Talbert at 2024-01-08T20:05:11-05:00
copilot-language: Upgrading from 3.17 to 3.18.1

- - - - -
ba149e73 by Scott Talbert at 2024-01-08T20:06:18-05:00
copilot-libraries: Upgrading from 3.17 to 3.18.1

- - - - -
8e88b4eb by Scott Talbert at 2024-01-08T20:07:44-05:00
copilot-prettyprinter: Upgrading from 3.17 to 3.18.1

- - - - -
c399c9fe by Scott Talbert at 2024-01-08T20:10:01-05:00
copilot-theorem: Upgrading from 3.17 to 3.18.1

- - - - -


20 changed files:

- p/haskell-copilot-c99/debian/changelog
- p/haskell-copilot-c99/debian/control
- − p/haskell-copilot-c99/debian/patches/fix-ftbfs
- − p/haskell-copilot-c99/debian/patches/series
- p/haskell-copilot-core/debian/changelog
- p/haskell-copilot-interpreter/debian/changelog
- p/haskell-copilot-interpreter/debian/control
- p/haskell-copilot-language/debian/changelog
- p/haskell-copilot-language/debian/control
- − p/haskell-copilot-language/debian/patches/fix-ftbfs-tests
- − p/haskell-copilot-language/debian/patches/series
- p/haskell-copilot-libraries/debian/changelog
- p/haskell-copilot-libraries/debian/control
- p/haskell-copilot-prettyprinter/debian/changelog
- p/haskell-copilot-prettyprinter/debian/control
- p/haskell-copilot-theorem/debian/changelog
- p/haskell-copilot-theorem/debian/control
- p/haskell-copilot/debian/changelog
- p/haskell-copilot/debian/control
- p/haskell-language-c99-simple/debian/changelog


Changes:

=====================================
p/haskell-copilot-c99/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-c99 (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 19:59:47 -0500
+
 haskell-copilot-c99 (3.17-2) unstable; urgency=medium
 
   * Fix FTBFS on !amd64 (Closes: #1055635)


=====================================
p/haskell-copilot-c99/debian/control
=====================================
@@ -8,14 +8,14 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc (>= 9.4),
  ghc-prof,
- libghc-copilot-core-dev (>= 3.17),
- libghc-copilot-core-dev (<< 3.18),
+ libghc-copilot-core-dev (>= 3.18.1),
+ libghc-copilot-core-dev (<< 3.19),
  libghc-copilot-core-prof,
  libghc-language-c99-dev (>= 0.2.0),
  libghc-language-c99-dev (<< 0.3),
  libghc-language-c99-prof,
- libghc-language-c99-simple-dev (>= 0.2.2),
- libghc-language-c99-simple-dev (<< 0.3),
+ libghc-language-c99-simple-dev (>= 0.3),
+ libghc-language-c99-simple-dev (<< 0.4),
  libghc-language-c99-simple-prof,
  libghc-hunit-dev,
  libghc-hunit-prof,


=====================================
p/haskell-copilot-c99/debian/patches/fix-ftbfs deleted
=====================================
@@ -1,11 +0,0 @@
---- a/tests/Test/Copilot/Compile/C99.hs
-+++ b/tests/Test/Copilot/Compile/C99.hs
-@@ -157,7 +157,7 @@ testRun = ioProperty $ do
-           , "void nop () {"
-           , "}"
-           , ""
--          , "void main () {"
-+          , "int main () {"
-           , "  step();"
-           , "}"
-           ]


=====================================
p/haskell-copilot-c99/debian/patches/series deleted
=====================================
@@ -1 +0,0 @@
-fix-ftbfs


=====================================
p/haskell-copilot-core/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-core (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 20:01:39 -0500
+
 haskell-copilot-core (3.17-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-interpreter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-interpreter (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 20:02:50 -0500
+
 haskell-copilot-interpreter (3.17-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-interpreter/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc (>= 9.4),
  ghc-prof,
- libghc-copilot-core-dev (>= 3.17),
- libghc-copilot-core-dev (<< 3.18),
+ libghc-copilot-core-dev (>= 3.18.1),
+ libghc-copilot-core-dev (<< 3.19),
  libghc-copilot-core-prof,
  libghc-quickcheck2-dev,
  libghc-quickcheck2-prof,


=====================================
p/haskell-copilot-language/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-language (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 20:04:41 -0500
+
 haskell-copilot-language (3.17-2) unstable; urgency=medium
 
   * Fix FTBFS due to test compile errors (Closes: #1054952)


=====================================
p/haskell-copilot-language/debian/control
=====================================
@@ -8,14 +8,14 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-core-dev (>= 3.17),
- libghc-copilot-core-dev (<< 3.18),
+ libghc-copilot-core-dev (>= 3.18.1),
+ libghc-copilot-core-dev (<< 3.19),
  libghc-copilot-core-prof,
- libghc-copilot-interpreter-dev (>= 3.17),
- libghc-copilot-interpreter-dev (<< 3.18),
+ libghc-copilot-interpreter-dev (>= 3.18.1),
+ libghc-copilot-interpreter-dev (<< 3.19),
  libghc-copilot-interpreter-prof,
- libghc-copilot-theorem-dev (>= 3.17),
- libghc-copilot-theorem-dev (<< 3.18),
+ libghc-copilot-theorem-dev (>= 3.18.1),
+ libghc-copilot-theorem-dev (<< 3.19),
  libghc-copilot-theorem-prof,
  libghc-data-reify-dev (>= 0.6),
  libghc-data-reify-dev (<< 0.7),


=====================================
p/haskell-copilot-language/debian/patches/fix-ftbfs-tests deleted
=====================================
@@ -1,23 +0,0 @@
-diff --git a/copilot-language/tests/Test/Copilot/Language/Reify.hs b/copilot-language/tests/Test/Copilot/Language/Reify.hs
-index e056d946..d724df73 100644
---- a/tests/Test/Copilot/Language/Reify.hs
-+++ b/tests/Test/Copilot/Language/Reify.hs
-@@ -31,7 +31,7 @@ import qualified Copilot.Language.Operators.Integral as Copilot
- import qualified Copilot.Language.Operators.Mux      as Copilot
- import qualified Copilot.Language.Operators.Ord      as Copilot
- import           Copilot.Language.Reify              (reify)
--import           Copilot.Language.Spec               (observer)
-+import           Copilot.Language.Spec               (Spec, observer)
- import           Copilot.Language.Stream             (Stream)
- import qualified Copilot.Language.Stream             as Copilot
- 
-@@ -732,7 +732,8 @@ semanticsShowK steps (SemanticsP (expr, exprList)) =
- checkSemanticsP :: Int -> [a] -> SemanticsP -> IO Bool
- checkSemanticsP steps _streams (SemanticsP (expr, exprList)) = do
-     -- Spec with just one observer of one expression.
--    let spec = observer testObserverName expr
-+    let spec :: Spec
-+        spec = observer testObserverName expr
- 
-     -- Reified stream (low-level)
-     llSpec <- reify spec


=====================================
p/haskell-copilot-language/debian/patches/series deleted
=====================================
@@ -1 +0,0 @@
-fix-ftbfs-tests


=====================================
p/haskell-copilot-libraries/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-libraries (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 20:06:18 -0500
+
 haskell-copilot-libraries (3.17-1) unstable; urgency=medium
 
   [ Ilias Tsitsimpis ]


=====================================
p/haskell-copilot-libraries/debian/control
=====================================
@@ -8,9 +8,20 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-language-dev (>= 3.17),
- libghc-copilot-language-dev (<< 3.18),
+ libghc-copilot-language-dev (>= 3.18.1),
+ libghc-copilot-language-dev (<< 3.19),
  libghc-copilot-language-prof,
+ libghc-quickcheck2-dev,
+ libghc-quickcheck2-prof,
+ libghc-copilot-interpreter-dev,
+ libghc-copilot-interpreter-prof,
+ libghc-copilot-language-dev,
+ libghc-copilot-theorem-dev,
+ libghc-copilot-theorem-prof,
+ libghc-test-framework-dev,
+ libghc-test-framework-prof,
+ libghc-test-framework-quickcheck2-dev,
+ libghc-test-framework-quickcheck2-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-copilot-language-doc,
 Standards-Version: 4.6.2


=====================================
p/haskell-copilot-prettyprinter/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-prettyprinter (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 20:07:44 -0500
+
 haskell-copilot-prettyprinter (3.17-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-prettyprinter/debian/control
=====================================
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc (>= 9.4),
  ghc-prof,
- libghc-copilot-core-dev (>= 3.17),
- libghc-copilot-core-dev (<< 3.18),
+ libghc-copilot-core-dev (>= 3.18.1),
+ libghc-copilot-core-dev (<< 3.19),
  libghc-copilot-core-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-copilot-core-doc,


=====================================
p/haskell-copilot-theorem/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot-theorem (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 20:10:01 -0500
+
 haskell-copilot-theorem (3.17-1) unstable; urgency=medium
 
   * New upstream release


=====================================
p/haskell-copilot-theorem/debian/control
=====================================
@@ -13,11 +13,11 @@ Build-Depends: debhelper (>= 10),
  libghc-bv-sized-dev (>= 1.0.2),
  libghc-bv-sized-dev (<< 1.1),
  libghc-bv-sized-prof,
- libghc-copilot-core-dev (>= 3.17),
- libghc-copilot-core-dev (<< 3.18),
+ libghc-copilot-core-dev (>= 3.18.1),
+ libghc-copilot-core-dev (<< 3.19),
  libghc-copilot-core-prof,
- libghc-copilot-prettyprinter-dev (>= 3.17),
- libghc-copilot-prettyprinter-dev (<< 3.18),
+ libghc-copilot-prettyprinter-dev (>= 3.18.1),
+ libghc-copilot-prettyprinter-dev (<< 3.19),
  libghc-copilot-prettyprinter-prof,
  libghc-data-default-dev (>= 0.7),
  libghc-data-default-dev (<< 0.8),
@@ -40,6 +40,13 @@ Build-Depends: debhelper (>= 10),
  libghc-xml-dev (>= 1.3),
  libghc-xml-dev (<< 1.4),
  libghc-xml-prof,
+ libghc-quickcheck2-dev,
+ libghc-quickcheck2-prof,
+ libghc-copilot-core-dev,
+ libghc-test-framework-dev,
+ libghc-test-framework-prof,
+ libghc-test-framework-quickcheck2-dev,
+ libghc-test-framework-quickcheck2-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-bimap-doc,
  libghc-bv-sized-doc,


=====================================
p/haskell-copilot/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-copilot (3.18.1-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 19:57:31 -0500
+
 haskell-copilot (3.17-1) unstable; urgency=medium
 
   [ Ilias Tsitsimpis ]


=====================================
p/haskell-copilot/debian/control
=====================================
@@ -8,26 +8,26 @@ Build-Depends: debhelper (>= 10),
  cdbs,
  ghc,
  ghc-prof,
- libghc-copilot-c99-dev (>= 3.17),
- libghc-copilot-c99-dev (<< 3.18),
+ libghc-copilot-c99-dev (>= 3.18.1),
+ libghc-copilot-c99-dev (<< 3.19),
  libghc-copilot-c99-prof,
- libghc-copilot-core-dev (>= 3.17),
- libghc-copilot-core-dev (<< 3.18),
+ libghc-copilot-core-dev (>= 3.18.1),
+ libghc-copilot-core-dev (<< 3.19),
  libghc-copilot-core-prof,
- libghc-copilot-language-dev (>= 3.17),
- libghc-copilot-language-dev (<< 3.18),
+ libghc-copilot-language-dev (>= 3.18.1),
+ libghc-copilot-language-dev (<< 3.19),
  libghc-copilot-language-prof,
- libghc-copilot-libraries-dev (>= 3.17),
- libghc-copilot-libraries-dev (<< 3.18),
+ libghc-copilot-libraries-dev (>= 3.18.1),
+ libghc-copilot-libraries-dev (<< 3.19),
  libghc-copilot-libraries-prof,
- libghc-copilot-prettyprinter-dev (>= 3.17),
- libghc-copilot-prettyprinter-dev (<< 3.18),
+ libghc-copilot-prettyprinter-dev (>= 3.18.1),
+ libghc-copilot-prettyprinter-dev (<< 3.19),
  libghc-copilot-prettyprinter-prof,
- libghc-copilot-theorem-dev (>= 3.17),
- libghc-copilot-theorem-dev (<< 3.18),
+ libghc-copilot-theorem-dev (>= 3.18.1),
+ libghc-copilot-theorem-dev (<< 3.19),
  libghc-copilot-theorem-prof,
  libghc-optparse-applicative-dev (>= 0.14),
- libghc-optparse-applicative-dev (<< 0.18),
+ libghc-optparse-applicative-dev (<< 0.19),
  libghc-optparse-applicative-prof,
 Build-Depends-Indep: ghc-doc,
  libghc-copilot-c99-doc,


=====================================
p/haskell-language-c99-simple/debian/changelog
=====================================
@@ -1,3 +1,9 @@
+haskell-language-c99-simple (0.3.0-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Scott Talbert <swt at techie.net>  Mon, 08 Jan 2024 19:54:52 -0500
+
 haskell-language-c99-simple (0.2.2-2) unstable; urgency=medium
 
   * Declare compliance with Debian policy 4.6.2



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/2385f22f964308186190f55af19550c2ab73a76c...c399c9fe8b30c8bcd2426f8da95f8985ee627ff0

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/compare/2385f22f964308186190f55af19550c2ab73a76c...c399c9fe8b30c8bcd2426f8da95f8985ee627ff0
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/20240109/ed9baa2d/attachment-0001.htm>

More information about the Pkg-haskell-commits mailing list