simple-learning

Simple learning web program
git clone git://git.laack.co/simple-learning.git
Log | Files | Refs | README | LICENSE

menhirSdk.20260209.pkg (403B)

      1 (version 20260209)
      2 
      3 (build
      4  (all_platforms ((action (run dune build -p %{pkg-self:name} -j %{jobs})))))
      5 
      6 (depends
      7  (all_platforms
      8   (ocaml dune)))
      9 
     10 (source
     11  (fetch
     12   (url
     13    https://gitlab.inria.fr/fpottier/menhir/-/archive/20260209/archive.tar.gz)
     14   (checksum
     15    sha512=aafad186f328ae8dd4cc69af0f30c1a0b208cf5148a7a94c150099be03838503c5ec12918de26cd7f794b5a72f114bc1bae8d81058bd0ea10372a3b06818687e)))