CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/01/05 14:40:38
Modified files:
lang/compcert : Makefile distinfo
Removed files:
lang/compcert/patches: patch-Makefile
Log message:
update compcert to 3.15
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Jasper Lievisse Adriaanse
- CVS: cvs.openbsd.org: ports Jasper Lievisse Adriaanse
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Jeremie Courreges-Anglas
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Kurt Miller
- CVS: cvs.openbsd.org: ports Daniel Dickman
- CVS: cvs.openbsd.org: ports Kurt Mosiejczuk
- CVS: cvs.openbsd.org: ports Kurt Mosiejczuk
- CVS: cvs.openbsd.org: ports Antoine Jacoutot
- CVS: cvs.openbsd.org: ports Landry Breuil
- CVS: cvs.openbsd.org: ports Job Snijders
- CVS: cvs.openbsd.org: ports Thomas Frohwein
- CVS: cvs.openbsd.org: ports Stuart Henderson
- CVS: cvs.openbsd.org: ports Landry Breuil
- CVS: cvs.openbsd.org: ports Landry Breuil
- CVS: cvs.openbsd.org: ports Sebastian Reitenbach
