quirks ports fixup

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',