plclub/metalib

Issues

• last commit compatible with coq 8.10?

  #29 opened 2 years ago by brando90
  5

• Having a nat -> atom conversion

  #21 opened 6 years ago by HuStmpHrrr
  2

• [request]coq 8.10 support

  #23 opened 5 years ago by juda
  1

• coqsplit.ml: error with string not bytes

  #14 opened 5 years ago by spl
  2

• Feature request: provide a Coq OPAM package

  #17 opened 6 years ago by brabalan
  4

• Fails to build with 8.9.0

  #19 opened 6 years ago by jwiegley
  1

• 8.5 changes break 8.4 and there is no tag made

  #3 opened 7 years ago by roachspray
  1

• Documentation build currently broken

  #2 opened 11 years ago by sstrickl
  1