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 (ForSyDe-3.1.1-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 (ForSyDe-3.1.1-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 (ForSyDe-3.1.1-r0) |
2010-06-25T17:08:31Z |
HoseinAttarzadeh |
1cd598c26c69ff1066193018bc90ea2794e5c8743e4e5d6f55fdcd39f9ff5e2a
|
|
|