Skip to site navigation (Press enter)
FYI: Renamed Coq to Rocq (and new release 9.0.0)
Kenneth Wolcott
Tue, 19 Aug 2025 14:37:54 -0700
FYI: Renamed Coq to Rocq (and new release 9.0.0)
Previous message
View by thread
View by date
Next message
Reply via email to
Search the site
The Mail Archive home
macports-users - all messages
macports-users - about the list
Expand
Previous message
Next message
