Changelog for cryptol-2.4.0-6.46.x86_64.rpm :
Sun Feb 5 13:00:00 2017 psimonsAATTsuse.com
- Update to version 2.4.0 revision 1 with cabal2obs.

Thu Sep 15 14:00:00 2016 psimonsAATTsuse.com
- Update to version 2.4.0 revision 0 with cabal2obs.

Mon Jul 18 14:00:00 2016 psimonsAATTsuse.com
- Update to version 2.3.0 revision 0 with cabal2obs.