[Git][reproducible-builds/reproducible-notes][master] Add note for promod3: https://gist.github.com/lamby/4070c645ca5a72930aa4766d99d087...

[Chris Lamb (@lamby)]

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


Commits:
d9fb08e5 by Chris Lamb at 2023-01-09T15:33:18+00:00
Add note for promod3: https://gist.github.com/lamby/4070c645ca5a72930aa4766d99d087...

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -22080,6 +22080,10 @@ prometheus-varnish-exporter:
   version: 1.0-2
   issues:
     - golang_compiler_captures_build_path_in_binary
+promod3:
+  version: 3.2.1+ds-6
+  comments: |
+    https://gist.github.com/lamby/4070c645ca5a72930aa4766d99d087ce/raw makes the build FTBFS
 proofgeneral:
   version: 4.3~pre131011-0.2
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/d9fb08e510676e9e58bcba73b0b59a9df4f5d789
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/20230109/09b2350d/attachment.htm>