Merge pull request #216 from CatalaLang/bump_to_0.6.0

Bump version to 0.6.0

catala.opam

@@ -1,11 +1,10 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.5.0"
+version: "0.6.0"
 synopsis:
   "Compiler and library for the literate programming language for tax code specification"
 description: """
-Catala is a domain-specific language for deriving faithful-by-construction
-algorithms from legislative texts. See https://catala-lang.org for more information
+Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information
 """
 maintainer: ["contact@catala-lang.org"]
 authors: [

clerk.opam

@@ -1,12 +1,10 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.5.0"
-synopsis: """
-Build system for Catala, a specification language for tax and social
-   benefits computation rules"""
-description: """
-Clerk is a build system for Catala, a specification language for tax and social
-   benefits computation rules, see https://catala-lang.org"""
+version: "0.6.0"
+synopsis:
+  "Build system for Catala, a specification language for tax and social benefits computation rules"
+description:
+  "Clerk is a build system for Catala, a specification language for tax and social benefits computation rules, see https://catala-lang.org"
 maintainer: ["contact@catala-lang.org"]
 authors: ["Emile Rolley" "Denis Merigoux"]
 license: "Apache-2.0"

dune-project

@@ -2,7 +2,7 @@
 
 (name catala)
 
-(version 0.5.0)
+(version 0.6.0)
 
 (generate_opam_files true)
 
@@ -16,12 +16,12 @@
 (bug_reports https://github.com/CatalaLang/catala/issues)
 
 (authors
-  "Denis Merigoux"
-  "Nicolas Chataing"
-  "Emile Rolley"
-  "Louis Gesbert"
-  "Aymeric Fromherz"
-  "Alain Delaët-Tixeuil")
+ "Denis Merigoux"
+ "Nicolas Chataing"
+ "Emile Rolley"
+ "Louis Gesbert"
+ "Aymeric Fromherz"
+ "Alain Dela\195\171t-Tixeuil")
 
 (maintainers "contact@catala-lang.org")
 
@@ -32,7 +32,7 @@
  (synopsis
   "Compiler and library for the literate programming language for tax code specification")
  (description
-  "Catala is a domain-specific language for deriving faithful-by-construction\nalgorithms from legislative texts. See https://catala-lang.org for more information\n")
+  "Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information")
  (depends
   (ocaml
    (>= 4.11.0))
@@ -75,8 +75,8 @@
   (obelisk :dev)
   (alcotest
    (and
-     :with-test
-     (>= 1.5.0)))
+    :with-test
+    (>= 1.5.0)))
   (ocamlformat
    (and
     :dev
@@ -88,9 +88,7 @@
  (synopsis
   "A collection of algorithms and computations defined by French law")
  (description
-  "This library contains the implementations of algorithmic portions of French
-   law. The library source code was generated from Catala annotations of the
-   relevant portions of the French law, see https://catala-lang.org")
+  "This library contains the implementations of algorithmic portions of French law. The library source code was generated from Catala annotations of the relevant portions of the French law, see https://catala-lang.org")
  (depends
   (ocaml
    (>= 4.11.0))
@@ -102,11 +100,9 @@
  (name clerk)
  (authors "Emile Rolley" "Denis Merigoux")
  (synopsis
-  "Build system for Catala, a specification language for tax and social
-   benefits computation rules")
+  "Build system for Catala, a specification language for tax and social benefits computation rules")
  (description
-  "Clerk is a build system for Catala, a specification language for tax and social
-   benefits computation rules, see https://catala-lang.org")
+  "Clerk is a build system for Catala, a specification language for tax and social benefits computation rules, see https://catala-lang.org")
  (depends
   (ocaml
    (>= 4.11.0))
@@ -118,8 +114,8 @@
    (>= 0.8.2))
   (alcotest
    (and
-     :with-test
-     (>= 1.5.0)))
+    :with-test
+    (>= 1.5.0)))
   (catala
    (= :version))))
 
@@ -129,14 +125,11 @@
  (synopsis
   "A collection of utility functions used to generate Ninja build files")
  (description
-  "This library contains the implementations of utility functions used to
-   generate Ninja build files -- see https://ninja-build.org. It's currently
-   used by the Catala build system (see
-                                     https://github.com/CatalaLang/catala/tree/master/build_system)")
+  "This library contains the implementations of utility functions used to generate Ninja build files -- see https://ninja-build.org. It's currently used by the Catala build system (see https://github.com/CatalaLang/catala/tree/master/build_system)")
  (depends
   (ocaml
    (>= 4.11.0))
   (re
-    (>= 1.10.3))))
+   (>= 1.10.3))))
 
 (using menhir 2.1)

french_law.opam

@@ -1,10 +1,9 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.5.0"
+version: "0.6.0"
 synopsis: "A collection of algorithms and computations defined by French law"
 description: """
-This library contains the implementations of algorithmic portions of French
-   law. The library source code was generated from Catala annotations of the
+This library contains the implementations of algorithmic portions of French law. The library source code was generated from Catala annotations of the
    relevant portions of the French law, see https://catala-lang.org"""
 maintainer: ["contact@catala-lang.org"]
 authors: ["Denis Merigoux"]

ninja_utils.opam

@@ -1,11 +1,10 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.5.0"
+version: "0.6.0"
 synopsis:
   "A collection of utility functions used to generate Ninja build files"
 description: """
-This library contains the implementations of utility functions used to
-   generate Ninja build files -- see https://ninja-build.org. It's currently
+This library contains the implementations of utility functions used to generate Ninja build files -- see https://ninja-build.org. It's currently
    used by the Catala build system (see
                                      https://github.com/CatalaLang/catala/tree/master/build_system)"""
 maintainer: ["contact@catala-lang.org"]