[Git][haskell-team/agda-stdlib][master] Bump std-version to 4.5.0
Gianfranco Costamagna
gitlab at salsa.debian.org
Sat Aug 1 13:53:11 BST 2020
Gianfranco Costamagna pushed to branch master at Debian Haskell Group / agda-stdlib
Commits:
1fab77c8 by Gianfranco Costamagna at 2020-08-01T14:52:38+02:00
Bump std-version to 4.5.0
- - - - -
2 changed files:
- debian/changelog
- debian/control
Changes:
=====================================
debian/changelog
=====================================
@@ -2,6 +2,7 @@ agda-stdlib (1.3-2) unstable; urgency=medium
* Also ship again agdai files (Closes: #966650)
thanks Helmut Grohne for the report!
+ * Bump std-version to 4.5.0
-- Gianfranco Costamagna <locutusofborg at debian.org> Sat, 01 Aug 2020 10:29:35 +0200
=====================================
debian/control
=====================================
@@ -9,7 +9,7 @@ Build-Depends: debhelper-compat (= 12),
libghc-agda-dev (>= 2.6.1),
libghc-agda-dev (<< 2.6.2~),
libghc-filemanip-dev
-Standards-Version: 4.4.0
+Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/haskell-team/agda-stdlib
Vcs-Git: https://salsa.debian.org/haskell-team/agda-stdlib.git
Homepage: http://wiki.portal.chalmers.se/agda/
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/1fab77c890fd0dc3892549375c21c17a9428e08f
--
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/1fab77c890fd0dc3892549375c21c17a9428e08f
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/20200801/a4818492/attachment-0001.html>
More information about the Pkg-haskell-commits
mailing list