[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