[Reproducible-commits] [notes] 01/01: Add alt-ergo package

Juan Picca jumapico-guest at moszumanska.debian.org
Tue May 26 01:39:30 UTC 2015


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

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

commit 06b68d0565be39623da84144306c036e6f33750c
Author: Juan Picca <jumapico at gmail.com>
Date:   Mon May 25 22:39:18 2015 -0300

    Add alt-ergo package
---
 packages.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/packages.yml b/packages.yml
index 26f7869..3146320 100644
--- a/packages.yml
+++ b/packages.yml
@@ -224,6 +224,12 @@ alpine:
   comments: |
     Build timestamp is written in alpine binary:
     https://sources.debian.net/src/alpine/2.11%2Bdfsg1-3/alpine/Makefile.am/?hl=46:48#L46
+alt-ergo:
+  version: 0.99.1+dfsg1-2
+  issues:
+    - randomness_in_ocaml_a_files
+  bugs:
+    - 786846
 altos:
   version: 1.6-1
   issues:

-- 
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