[Git][reproducible-builds/reproducible-notes][master] Add patch for cryptominisat

[Chris Lamb]

Chris Lamb pushed to branch master at Reproducible Builds / reproducible-notes


Commits:
93664b89 by Chris Lamb at 2020-05-12T09:45:34+01:00
Add patch for cryptominisat

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3209,6 +3209,10 @@ cryptokit:
   version: 1.14-1
   issues:
     - captures_build_path_via_assert
+cryptominisat:
+  version: 5.7.1+dfsg1-1
+  bugs:
+    - 960388
 crystalhd:
   version: 1:0.0~git20110715.fdd2f19-11
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/93664b892c44b027c4d5fceb4249a18e9d13b080
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/20200512/5b74117d/attachment.htm>