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

added bug reports address

parent b2441c11
......@@ -10,6 +10,7 @@ maintainer: ["Zakaria Chihani" "Julien Girard-Satabin"]
authors: ["Zakaria Chihani" "Julien Girard-Satabin"]
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://git.frama-c.com/pub/isaieh"
bug-reports: "julien.girard2@cea.fr"
depends: [
"dune" {>= "2.1"}
"ocaml" {>= "4.11.0"}
......
......@@ -6,6 +6,7 @@
(authors "Zakaria Chihani" "Julien Girard-Satabin")
(maintainers "Zakaria Chihani" "Julien Girard-Satabin")
(homepage "https://git.frama-c.com/pub/isaieh")
(bug_reports "julien.girard2@cea.fr")
(package
(name ISAIEH)
(depends
......
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