update cubicle description

Julien LepillerSun Jul 30 10:40:51+0200 2017

29a01a5

update cubicle description

more/packages/ocaml.scm

947947 
           (lambda _
948948 
             (substitute* "Makefile.in"
949949 
               (("SVNREV=") "#SVNREV="))))
950-
         (add-before 'configure 'fix-configure
950+
         (add-before 'configure 'fix-/bin/sh
951951 
           (lambda _
952952 
             (substitute* "configure"
953953 
               (("/bin/sh") (which "sh")))))

…

956956 
             (substitute* "Makefile.in"
957957 
               (("\\\\n") "")))))))
958958 
    (home-page "http://cubicle.lri.fr/")
959-
    (synopsis "SMT solver")
960-
    (description "SMT solver.")
959+
    (synopsis "Model checker for array-based systems")
960+
    (description "Cubicle is an open source model checker for verifying safety
961+
properties of array-based systems.  This is a syntactically restricted class of
962+
parametrized transition systems with states represented as arrays indexed by an
963+
arbitrary number of processes.  Cache coherence protocols and mutual exclusion
964+
algorithms are typical examples of such systems.")
961965 
    (license license:asl2.0)))