Move opam changes to dune-project as well

Author: sim642

dune-project

@@ -7,7 +7,7 @@
 (homepage "https://cil-project.github.io/cil/")
 ; (documentation "https://goblint.github.io/cil")
 (authors "[email protected]")
-(maintainers "Michael Schwarz <[email protected]>" "Ralf Vogler <[email protected]>")
+(maintainers "Michael Schwarz <[email protected]>" "Simmo Saan <[email protected]>" "Ralf Vogler <[email protected]>")
 (license "BSD-3-Clause")
 
 (package
@@ -16,13 +16,14 @@
   (description "\
 This is a fork of the 'cil' package needed to build 'goblint'.
 Changes:
-- Proper support for C99, (#9) and VLAs in particular (#5, #7)
+- Proper support for C99 and VLAs in particular
 - It uses Zarith instead of the deprecated Num
 - Support for more recent OCaml versions (≥ 4.06)
 - Large integer constants that do not fit in an OCaml int are represented as a string instead of getting truncated
-- Syntactic search extension (#21)
+- Syntactic search extension
+- More precise locations (with columns)
 - Some warnings were made optional
-- Unmaintained extensions (#30) were removed
+- Unmaintained extensions were removed
 - Many bug fixes")
   (depends
     (ocaml (>= 4.05.0))