We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ff823d8 commit 0cd459fCopy full SHA for 0cd459f
2 files changed
dune-project
@@ -4,7 +4,6 @@
4
(generate_opam_files true)
5
(version 1.8.2)
6
(source (github goblint/cil))
7
-(homepage "https://cil-project.github.io/cil/")
8
; (documentation "https://goblint.github.io/cil")
9
(authors "gabriel@kerneis.info")
10
(maintainers "Michael Schwarz <michael.schwarz93@gmail.com>" "Simmo Saan <simmo.saan@gmail.com>" "Ralf Vogler <ralf.vogler@gmail.com>")
goblint-cil.opam
@@ -22,7 +22,7 @@ maintainer: [
22
]
23
authors: ["gabriel@kerneis.info"]
24
license: "BSD-3-Clause"
25
-homepage: "https://cil-project.github.io/cil/"
+homepage: "https://github.com/goblint/cil"
26
bug-reports: "https://github.com/goblint/cil/issues"
27
depends: [
28
"ocaml" {>= "4.05.0"}
0 commit comments