Commit b2441c11 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

version 0.2

parent 456404e9
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.1"
version: "0.2"
synopsis: "Compiler from ONNX to verification tools"
description: """
A compiler from neural networks
......
(lang dune 2.1)
(name ISAIEH)
(version 0.1)
(version 0.2)
(generate_opam_files true)
(license "LGPL-2.0-only WITH OCaml-LGPL-linking-exception")
(authors "Zakaria Chihani" "Julien Girard-Satabin")
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment