I think these ports were deleted and then brought back to life.

But after being brought back they weren't removed from quirks. So I get 
wrong warnings about ocaml-cppo needing to be removed for example when I 
do "pkg_add -u".

Should these entries be removed from quirks?


Index: Makefile
===================================================================
RCS file: /cvs/ports/devel/quirks/Makefile,v
diff -u -p -u -r1.1603 Makefile
--- Makefile	27 Feb 2024 13:29:58 -0000	1.1603
+++ Makefile	1 Mar 2024 22:55:36 -0000
@@ -3,7 +3,7 @@ CATEGORIES =	devel databases
 DISTFILES =
 
 # API.rev
-PKGNAME =	quirks-7.11
+PKGNAME =	quirks-7.12
 PKG_ARCH =	*
 MAINTAINER =	Marc Espie <espie@openbsd.org>
 
Index: files/Quirks.pm
===================================================================
RCS file: /cvs/ports/devel/quirks/files/Quirks.pm,v
diff -u -p -u -r1.1614 Quirks.pm
--- files/Quirks.pm	29 Feb 2024 01:01:12 -0000	1.1614
+++ files/Quirks.pm	1 Mar 2024 22:55:36 -0000
@@ -844,7 +844,6 @@ setup_obsolete_reason(
 	3 => 'farstream',
 	5 => 'ardour',
 	5 => 'aubio',
-	5 => 'liblo',
 	5 => 'libgnomecanvasmm',
 	2 => 'mixmaster',
 	0 => 'xscorch',
@@ -982,7 +981,6 @@ setup_obsolete_reason(
 	7 => 'libcudf',
 	7 => 'ocaml-cudf',
 	7 => 'ocaml-cmdliner',
-	7 => 'ocaml-cppo',
 	7 => 'ocaml-dose',
 	7 => 'ocaml-extlib',
 	7 => 'ocaml-jsonm',
@@ -1218,7 +1216,6 @@ setup_obsolete_reason(
 	3 => 'gnome-recipes',
 	6 => 'shared-color-targets',
 	6 => 'argyll',
-	3 => 'libcroco',
 	23 => 'libnipper',
 	23 => 'nipper',
 	13 => 'bg5pdf',