sthen 45398fe1b1 sync WANTLIB for various ports with "NOT REACHABLE" libs		2022-03-31 12:52:13 +00:00
..
patches	drop RCS Ids	2022-03-11 19:36:11 +00:00
pkg	drop RCS Ids	2022-03-11 19:36:11 +00:00
distinfo	update coq to 8.13.2	2021-12-04 04:33:45 +00:00
Makefile	sync WANTLIB for various ports with "NOT REACHABLE" libs	2022-03-31 12:52:13 +00:00