[notes] 01/01: packages += boogie, dafny; new issue 'clilibs_line_order'

[Daniel Shahaf]

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

danielsh-guest pushed a commit to branch master
in repository notes.

commit 26b81c67cbb8129a0dfa98e42e185cc58d03b3c1
Author: Daniel Shahaf <danielsh at apache.org>
Date:   Thu Sep 29 17:40:24 2016 +0000

    packages += boogie, dafny; new issue 'clilibs_line_order'
---
 issues.yml   | 4 ++++
 packages.yml | 8 ++++++++
 2 files changed, 12 insertions(+)

diff --git a/issues.yml b/issues.yml
index 02c0532..b637622 100644
--- a/issues.yml
+++ b/issues.yml
@@ -1368,3 +1368,7 @@ records_build_flags:
   description: |
     Records $CFLAGS, which vary intentionally due to the «-fdebug-prefix-map=${BIKESHED}=.» flag.
   deterministic: True
+clilibs_line_order:
+  description: |
+    [armhf/i386 only, so may be disorderfs related]
+    Line order in 'clilibs' differs, in cli/mono packages.
diff --git a/packages.yml b/packages.yml
index aeeba52..ada0f74 100644
--- a/packages.yml
+++ b/packages.yml
@@ -1965,6 +1965,10 @@ bonnie++:
   version: 1.97.1
   bugs:
     - 817380
+boogie:
+  version: 2.3.0.61016+dfsg+2.gbp4108246-1
+  issues:
+    - clilibs_line_order
 bookview:
   version: 3.2.1-1.1
   bugs:
@@ -3940,6 +3944,10 @@ daemontools:
   bugs:
     - 776876
     - 793003
+dafny:
+  version: 1.9.7-1
+  issues:
+    - clilibs_line_order
 dahdi-linux:
   version: 1:2.10.0.1~dfsg-1
   issues:

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