[notes] 01/01: Add note for agda
Chris Lamb
chris at chris-lamb.co.uk
Thu Feb 15 10:06:17 UTC 2018
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
More information about the Reproducible-commits
mailing list