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

[Chris Lamb (@lamby)]

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


Commits:
a63bd397 by Chris Lamb at 2024-03-18T13:25:33+00:00
Add patch for storm-lang

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -31956,6 +31956,10 @@ storm:
   version: 0.19-1
   issues:
     - gcc_captures_build_path
+storm-lang:
+  version: 0.6.20-1
+  bugs:
+    - 1067101
 stormlib:
   version: 9.20-1
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/a63bd397337db3ce90674293b01adf0e643c704b
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/20240318/772b6a14/attachment.htm>