Changelog for ghc-idris-devel-0.12.3-5.23.x86_64.rpm :
Mon Sep 26 14:00:00 2016 psimonsAATTsuse.com
- Update to version 0.12.3 with cabal2obs.

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

Sun Jul 10 14:00:00 2016 psimonsAATTsuse.com
- Update to version 0.11.2 revision 0 with cabal2obs.