[Git][reproducible-builds/reproducible-notes][master] remove RMed packages

[Mattia Rizzolo (@mattia)]

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


Commits:
b0a14f0a by Mattia Rizzolo at 2022-06-06T07:34:23+02:00
remove RMed packages

Signed-off-by: Mattia Rizzolo <mattia at debian.org>

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -3346,10 +3346,6 @@ coq-elpi:
   version: 1.13.0-1
   issues:
     - captures_build_path_in_vo_files_generated_by_coq
-coq-float:
-  version: 1:8.10.0-1
-  issues:
-    - nondeterministic_vo_files_generated_by_coq
 coq-hierarchy-builder:
   version: 1.2.1-9
   issues:
@@ -13302,10 +13298,6 @@ libgnatcoll-db:
   version: 22.0.0-2
   issues:
     - sphinxdoc_translations
-libgnatcoll-python:
-  version: 19-3
-  issues:
-    - cflags_recorded_in_ada_ali_files
 libgnuinet-java:
   version: 1.1.2-2
   issues:



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

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/b0a14f0a9bf2c0be9cb4b7b111e3401ece86e1a2
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/20220606/c87141be/attachment.htm>