Closed Chris00 closed 5 years ago
http://coq.inria.fr/news/feed has such dates — even though they are not allowed by the standard.
@dinosaure OK to to a release? — so the Coq feed is visible again on ocaml.org.
Yes :+1: thx to take care on that!
http://coq.inria.fr/news/feed has such dates — even though they are not allowed by the standard.