Metadata revisions for cryptol-2.5.0

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.

No. Time User Changes
#1 Mon Sep 11 17:19:49 UTC 2017 EricMertens
  • Changed the library component's legacy-tool dependency on 'happy' from


#0 Tue Jul 25 17:48:24 UTC 2017 AaronTomb