[Git][haskell-team/agda-stdlib][master] Include deprecated modules

[Ilias Tsitsimpis (@iliastsi)]

Ilias Tsitsimpis pushed to branch master at Debian Haskell Group / agda-stdlib


Commits:
eb0dbee2 by Ilias Tsitsimpis at 2024-11-25T19:17:31+02:00
Include deprecated modules

- - - - -


2 changed files:

- debian/changelog
- debian/rules


Changes:

=====================================
debian/changelog
=====================================
@@ -1,3 +1,10 @@
+agda-stdlib (2.1-4) unstable; urgency=medium
+
+  * Include deprecated modules.
+    Thanks Helmut Grohne for the report.
+
+ -- Ilias Tsitsimpis <iliastsi at debian.org>  Mon, 25 Nov 2024 19:17:09 +0200
+
 agda-stdlib (2.1-3) unstable; urgency=medium
 
   * Remove Iain Lane from uploaders. Thank you Iain (Closes: #914691)


=====================================
debian/rules
=====================================
@@ -15,7 +15,7 @@ override_dh_auto_clean:
 
 override_dh_auto_build:
 	ghc --make GenerateEverything.hs
-	./GenerateEverything --out-dir doc
+	./GenerateEverything --include-deprecated --out-dir doc
 	cd $(CURDIR)/doc && agda +RTS -K1G -RTS Everything.agda
 	cd $(CURDIR)/doc && agda --html README.agda
 



View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/eb0dbee2f9049fae342bc95a5814967a93a7250f

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/eb0dbee2f9049fae342bc95a5814967a93a7250f
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/20241125/998f34b3/attachment-0001.htm>