[notes] 01/01: Add note for agda

[Chris Lamb]

This is an automated email from the git hooks/post-receive script.

lamby pushed a commit to branch master
in repository notes.

commit 3da62100949e291c40f7f60e5d2a5b12938847ab
Author: Chris Lamb <lamby at debian.org>
Date:   Thu Feb 15 09:58:09 2018 +0000

    Add note for agda
---
 packages.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/packages.yml b/packages.yml
index 17cf6d5..e4208b7 100644
--- a/packages.yml
+++ b/packages.yml
@@ -258,6 +258,10 @@ afterstep:
   version: 2.2.12-8
   issues:
     - records_build_flags
+agda:
+  version: 2.5.3-3
+  comments: |
+    .agdai files seem to be nonreproducible... are they "just" renamed .i files?
 agg:
   version: 2.5+dfsg1-12
   bugs:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git