Cabal revisions of clafer-0.3.6.1

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 Name:               clafer
 Version:            0.3.6.1
+x-revision: 1
 Synopsis:           clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
 Description:        Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, XML) to allow for reasoning with existing tools.
 Homepage:           http://clafer.org
 License:            MIT
 License-file:       LICENSE
-Author:             Kacper Bąk, Jimmy Liang, Michał Antkiewicz, Chris Walker, Luke Michael Brown
-Maintainer:         Michał Antkiewicz <mantkiew@gsd.uwaterloo.ca>
+Author:             Kacper Ba…k, Jimmy Liang, Michal‚ Antkiewicz, Chris Walker, Luke Michael Brown
+Maintainer:         Michal Antkiewicz <mantkiew@gsd.uwaterloo.ca>
 Stability:          Experimental
 Category:           Model
 Build-type:         Simple
                     data-stringmap >= 1.0.1.1,
                     aeson >= 0.7.0.2,
                     json-builder >= 0.3,
-                    lens >= 4.1.1,
+                    lens >= 4.1.1 && < 4.2,
                     string-conversions >= 0.3.0.2,
                     cmdargs >= 0.10.7, 
                     executable-path >= 0.0.3, 
                     data-stringmap >= 1.0.1.1,
                     aeson >= 0.7.0.2,
                     json-builder >= 0.3,
-                    lens >= 4.1.1,
+                    lens >= 4.1.1 && < 4.2,
                     string-conversions >= 0.3.0.2,
                     cmdargs >= 0.10.7, 
                     executable-path >= 0.0.3, 
                     data-stringmap >= 1.0.1.1,
                     aeson >= 0.7.0.2,
                     json-builder >= 0.3,
-                    lens >= 4.1.1,
+                    lens >= 4.1.1 && < 4.2,
                     string-conversions >= 0.3.0.2,
                     cmdargs >= 0.10.7, 
                     executable-path >= 0.0.3, 

 Name:               clafer
 Version:            0.3.6.1
-x-revision: 1
+x-revision: 2
 Synopsis:           clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
 Description:        Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, XML) to allow for reasoning with existing tools.
 Homepage:           http://clafer.org
 License:            MIT
 License-file:       LICENSE
-Author:             Kacper Ba…k, Jimmy Liang, Michal‚ Antkiewicz, Chris Walker, Luke Michael Brown
+Author:             Kacper Ba…k, Jimmy Liang, Michal‚ Antkiewicz, Chris Walker, Luke Michael Brown
 Maintainer:         Michal Antkiewicz <mantkiew@gsd.uwaterloo.ca>
 Stability:          Experimental
 Category:           Model
                     data-stringmap >= 1.0.1.1,
                     aeson >= 0.7.0.2,
                     json-builder >= 0.3,
-                    lens >= 4.1.1 && < 4.2,
+                    lens >= 4.1.1 && < 4.4,
                     string-conversions >= 0.3.0.2,
                     cmdargs >= 0.10.7, 
                     executable-path >= 0.0.3, 
                     data-stringmap >= 1.0.1.1,
                     aeson >= 0.7.0.2,
                     json-builder >= 0.3,
-                    lens >= 4.1.1 && < 4.2,
+                    lens >= 4.1.1 && < 4.4,
                     string-conversions >= 0.3.0.2,
                     cmdargs >= 0.10.7, 
                     executable-path >= 0.0.3, 
                     data-stringmap >= 1.0.1.1,
                     aeson >= 0.7.0.2,
                     json-builder >= 0.3,
-                    lens >= 4.1.1 && < 4.2,
+                    lens >= 4.1.1 && < 4.4,
                     string-conversions >= 0.3.0.2,
                     cmdargs >= 0.10.7, 
                     executable-path >= 0.0.3, 

 Name:               clafer
 Version:            0.3.6.1
-x-revision: 2
+x-revision: 3
 Synopsis:           clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.
 Description:        Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, XML) to allow for reasoning with existing tools.
 Homepage:           http://clafer.org
 License:            MIT
 License-file:       LICENSE
-Author:             Kacper Ba…k, Jimmy Liang, Michal‚ Antkiewicz, Chris Walker, Luke Michael Brown
+Author:             Kacper Bak, Jimmy Liang, Michal Antkiewicz, Chris Walker, Luke Michael Brown
 Maintainer:         Michal Antkiewicz <mantkiew@gsd.uwaterloo.ca>
 Stability:          Experimental
 Category:           Model