[Reproducible-commits] [notes] 01/01: Add note for cduce

Stéphane Glondu glondu at moszumanska.debian.org
Fri Aug 21 19:53:45 UTC 2015


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

glondu pushed a commit to branch master
in repository notes.

commit 0b2a8d42a0c0f14fbeaa4031da0ae4b430941de3
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 21 21:53:03 2015 +0200

    Add note for cduce
---
 packages.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/packages.yml b/packages.yml
index be5b9f2..8bbbe3e 100644
--- a/packages.yml
+++ b/packages.yml
@@ -1757,6 +1757,12 @@ cdtool:
     https://sources.debian.net/src/cdtool/2.1.8-release-2/cdown.c/?hl=725#L725
   issues:
     - timestamps_from_cpp_macros
+cduce:
+  version: 0.6.0-1
+  issues:
+    - randomness_in_ocaml_startup_files
+  bugs:
+    - 796418
 cecil:
   version: 0.9.5+dfsg-2
   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