../ vector-algorithms-0.5.4.1-ghc-7.4.patch 09-Aug-2015 00:38 572 vector-algorithms-0.7.0.1-ghc-8.0.2_rc1.patch 01-Jul-2017 18:23 2344