[Reproducible-commits] [notes] 01/01: Patch sent to coq.

[Valentin Lorentz]

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

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

commit cf228be85062c9e3fdd9185581576d8a7bba2b42
Author: Valentin Lorentz <progval at progval.net>
Date:   Thu Jul 30 22:40:50 2015 +0200

    Patch sent to coq.
---
 packages.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages.yml b/packages.yml
index 2b78485..bceaa9d 100644
--- a/packages.yml
+++ b/packages.yml
@@ -2273,6 +2273,8 @@ coq:
   version: 8.4pl4dfsg-1
   issues:
     - randomness_in_ocaml_a_files
+  bugs:
+    - 794130
 coquelicot:
   version: 0.9.2-4
   bugs:

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