[Git][reproducible-builds/reproducible-notes][master] Tag cvc4 with diffoscope_runs_forever

[Anoop Nadig]

Anoop Nadig pushed to branch master at Reproducible Builds / reproducible-notes


Commits:
46b012ba by Anoop Nadig at 2018-10-23T01:46:10Z
Tag cvc4 with diffoscope_runs_forever
- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3268,6 +3268,10 @@ cvc3:
     - gcc_captures_build_path
   bugs:
     - 873975
+cvc4:
+  version: 1.6-2
+  issues:
+    - diffoscope_runs_forever
 cvm:
   version: 0.96-1.2
   issues:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/commit/46b012baf25588abddd766e4053f1c570164cb51

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/commit/46b012baf25588abddd766e4053f1c570164cb51
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.reproducible-builds.org/pipermail/rb-commits/attachments/20181023/fc9a8856/attachment.html>