[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