Recent additions
| 2013-05-08T10:21:00Z | SimonMeier | strict-base-types-0.1 |
| 2013-05-08T09:51:55Z | SimonMeier | tamarin-prover-0.8.5.0 |
| 2013-05-08T09:49:12Z | SimonMeier | tamarin-prover-theory-0.8.5.0 |
| 2013-05-08T09:48:05Z | SimonMeier | tamarin-prover-term-0.8.5.0 |
| 2013-05-08T09:45:40Z | SimonMeier | tamarin-prover-utils-0.8.5.0 |
| 2013-05-08T09:28:57Z | JakubWaszczuk | polimorf-0.7.1 |
| 2013-05-08T08:46:29Z | JakubWaszczuk | polimorf-0.7.0 |
| 2013-05-08T08:35:05Z | SatoshiEgi | egison-3.0.2 |
| 2013-05-08T08:17:24Z | JakubWaszczuk | vector-binary-0.1.1 |
| 2013-05-08T08:08:21Z | SimonasKazlauskas | hakyll-blaze-templates-0.1.1.0 |
| 2013-05-08T07:55:20Z | JakubWaszczuk | polh-lexicon-0.2.2 |
| 2013-05-08T07:42:39Z | JakubWaszczuk | hist-pl-lexicon-0.3.1 |
| 2013-05-08T07:40:04Z | JakubWaszczuk | hist-pl-lexicon-0.3.0 |
| 2013-05-08T03:15:12Z | JohnMacFarlane | highlighting-kate-0.5.3.9 |
| 2013-05-08T02:41:04Z | ThomasDuBuisson | crypto-api-0.12.2.1 |
| 2013-05-08T00:11:01Z | RenzoCarbonara | pipes-zlib-0.2.0.0 |
| 2013-05-07T23:20:32Z | JohnLenz | yesod-auth-account-1.2.0 |
| 2013-05-07T22:14:56Z | JosephCollard | unm-hip-0.0.0.0 |
| 2013-05-07T22:00:18Z | JohnMacFarlane | texmath-0.6.1.5 |
| 2013-05-07T20:51:44Z | SergeiLebedev | bitset-1.4.2 |