CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/10/17 14:08:09
Modified files:
math/rocq : Makefile
Log message:
add missing RDEP on findlib
>From MAINTAINER
- CVS: cvs.openbsd.org: ports Robert Nagy
- CVS: cvs.openbsd.org: ports Jeremie Courreges-Anglas
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Theo Buehler
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Daniel Dickman
- CVS: cvs.openbsd.org: ports Daniel Dickman
- CVS: cvs.openbsd.org: ports Rafael Sadowski
- CVS: cvs.openbsd.org: ports Pavel Korovin
- CVS: cvs.openbsd.org: ports Theo Buehler
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Frederic Cambus
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Anton Lindqvist
