Project

General

Profile

« Previous | Next » 

Revision f7c73c82

Added by Corentin Lauverjat over 1 year ago

  • ID f7c73c8258224fd50c54773ec7d3938983ce3cee
  • Parent 3769b712

Correctif

View differences:

lustrec.opam
35 35
  "ocamlgraph" {build}
36 36
  "logs" {build}
37 37
  "num" {build}
38
  "jingoo" {build}
39 38
  "zarith" {build}
40 39
  "dune-build-info"
41 40
  "mlmpfr" { = "4.0.2" }

Also available in: Unified diff