[Git][reproducible-builds/reproducible-notes][master] 2 commits: Add new nondeterministic_vo_files_generated_by_coq toolchain issue.

Chris Lamb gitlab at salsa.debian.org
Mon Mar 9 17:11:51 UTC 2020



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


Commits:
fd565305 by Chris Lamb at 2020-03-09T10:11:31-07:00
Add new nondeterministic_vo_files_generated_by_coq toolchain issue.

- - - - -
ce50684b by Chris Lamb at 2020-03-09T10:11:45-07:00
Tag ssreflect with nondeterministic_vo_files_generated_by_coq

- - - - -


2 changed files:

- issues.yml
- packages.yml


Changes:

=====================================
issues.yml
=====================================
@@ -2099,3 +2099,6 @@ nondeterministic_gtk_icon_cache:
   description:
     Possible filesystem ordering or hash table nondeterminism.
   url: https://bugs.debian.org/953105
+nondeterministic_vo_files_generated_by_coq:
+  description:
+    Unknown source in .vo files generated by some Coq tool.


=====================================
packages.yml
=====================================
@@ -25893,6 +25893,10 @@ ssocr:
   version: 2.19.0-2
   issues:
     - captures_build_path_via_assert
+ssreflect:
+  version: 1.10.0+dfsg-2
+  issues:
+    - nondeterministic_vo_files_generated_by_coq
 st:
   version: 1.9-3.1
   bugs:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/7003af6d080261c4f6ab46c11e88908895d202ed...ce50684bd6dde878a2249fd37f3cbd816ccb33a5

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/compare/7003af6d080261c4f6ab46c11e88908895d202ed...ce50684bd6dde878a2249fd37f3cbd816ccb33a5
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/20200309/b839b4c2/attachment.htm>


More information about the rb-commits mailing list