[Git][reproducible-builds/reproducible-notes][master] Remove archived bugs

[Mattia Rizzolo]

Mattia Rizzolo pushed to branch master at Reproducible Builds / reproducible-notes


Commits:
c7aa999d by automatic commit from Mattia Rizzolo at 2020-03-02T00:00:44+00:00
Remove archived bugs

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3040,10 +3040,6 @@ coq:
     - captures_build_path
   bugs:
     - 794130
-coq-float:
-  version: 1:8.4-5
-  bugs:
-    - 813596
 core-specs-alpha-clojure:
   version: 0.2.44-3
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/c7aa999d2da1f680ee653e04d3f21f625466122a
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/20200302/36268a69/attachment.htm>