[Git][haskell-team/agda-stdlib][master] Also ship agdai files

[Gianfranco Costamagna]

Gianfranco Costamagna pushed to branch master at Debian Haskell Group / agda-stdlib


Commits:
b1c570f3 by Gianfranco Costamagna at 2020-08-01T14:51:20+02:00
Also ship agdai files

- - - - -


2 changed files:

- debian/agda-stdlib.install
- debian/changelog


Changes:

=====================================
debian/agda-stdlib.install
=====================================
@@ -1,3 +1,4 @@
+_build/*/agda/src/* usr/share/agda-stdlib/
 src/* usr/share/agda-stdlib/
 debian/60agda-stdlib.el etc/emacs/site-start.d/
 


=====================================
debian/changelog
=====================================
@@ -1,3 +1,10 @@
+agda-stdlib (1.3-2) unstable; urgency=medium
+
+  * Also ship again agdai files (Closes: #966650)
+    thanks Helmut Grohne for the report!
+
+ -- Gianfranco Costamagna <locutusofborg at debian.org>  Sat, 01 Aug 2020 10:29:35 +0200
+
 agda-stdlib (1.3-1) unstable; urgency=medium
 
   * Team upload.



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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/b1c570f305bce117b6d34859c48f00c3ba3bdcb9
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/82d78001/attachment.html>