Metadata revisions for ForSyDe-3.1.1

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r2 2018-12-26T23:40:32Z ugeorge c8b4128797c91ec843551fe6be94c9bbbd89dc90344c99979d1c24744c8e0fab
  • Changed description from

    The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
    
    __THIS PACKAGE IS DEPRECATED!__ The package has been split and continued as <http://hackage.haskell.org/package/forsyde-shallow @forsyde-shallow@> and <http://hackage.haskell.org/package/forsyde-deep @forsyde-deep@>.
    to
    The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
    
    __THIS PACKAGE IS DEPRECATED!__ The package has been split and continued as <http://hackage.haskell.org/package/forsyde-shallow forsyde-shallow> and <http://hackage.haskell.org/package/forsyde-deep forsyde-deep>.

-r1 2018-12-26T23:38:19Z ugeorge cc439d31c6dad10c1d0416e86996dde560fdbc3d48d948a5fa1dfefba8c89ee5
  • Changed description from

    The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
    This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <http://www.ict.kth.se/forsyde/>.
    This will be most probably the last update on this package. It will be splitted to ForSyDe-shallow and ForSyDe-deep in the next release.
    to
    The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
    
    __THIS PACKAGE IS DEPRECATED!__ The package has been split and continued as <http://hackage.haskell.org/package/forsyde-shallow @forsyde-shallow@> and <http://hackage.haskell.org/package/forsyde-deep @forsyde-deep@>.

-r0 2010-06-25T17:08:31Z HoseinAttarzadeh 1cd598c26c69ff1066193018bc90ea2794e5c8743e4e5d6f55fdcd39f9ff5e2a