User EricSeidel :: Monadoc

EricSeidel

Uploads

ghc-srcspan-plugin@0.2.2.0-2 uploaded 2017-12-21T14:40:49.000Z.
ghc-srcspan-plugin@0.2.2.1-0 uploaded 2017-12-21T14:39:09.000Z. latest
liquidhaskell@0.8.0.1-0 uploaded 2017-07-20T18:04:02.000Z.
liquidhaskell@0.6.0.1-0 uploaded 2017-07-20T17:48:00.000Z. deprecated
located-base@0.1.1.1-0 uploaded 2017-07-20T15:53:44.000Z. latest
liquidhaskell@0.6.0.0-1 uploaded 2017-01-15T21:06:25.000Z.
ghc-srcspan-plugin@0.2.2.0-1 uploaded 2016-07-06T15:32:04.000Z.
ghc-srcspan-plugin@0.2.2.0-0 uploaded 2016-07-06T15:22:20.000Z.
located-base@0.1.1.0-0 uploaded 2016-05-05T21:23:35.000Z.
liquidhaskell@0.6.0.0-0 uploaded 2016-04-05T22:28:38.000Z.
liquid-fixpoint@0.5.0.1-0 uploaded 2016-04-05T19:16:29.000Z.
liquid-fixpoint@0.5.0.0-0 uploaded 2016-04-01T21:54:27.000Z.
liquidhaskell@0.5.0.1-2 uploaded 2015-12-21T21:48:48.000Z.
liquidhaskell@0.5.0.0-1 uploaded 2015-09-18T21:02:46.000Z.
liquidhaskell@0.1-1 uploaded 2015-09-18T21:02:26.000Z.
liquidhaskell@0.2.0.0-1 uploaded 2015-09-18T21:01:53.000Z.
liquidhaskell@0.2.1.0-1 uploaded 2015-09-18T21:01:32.000Z.
liquidhaskell@0.3.0.0-1 uploaded 2015-09-18T21:01:17.000Z.
liquidhaskell@0.3.1.0-1 uploaded 2015-09-18T21:00:58.000Z.
liquidhaskell@0.4.0.0-1 uploaded 2015-09-18T21:00:35.000Z.
liquidhaskell@0.4.0.1-1 uploaded 2015-09-18T21:00:20.000Z.
liquidhaskell@0.4.1.0-1 uploaded 2015-09-18T21:00:03.000Z.
liquidhaskell@0.4.1.1-1 uploaded 2015-09-18T20:59:25.000Z.
liquidhaskell@0.5.0.1-1 uploaded 2015-09-18T20:58:36.000Z.
target@0.2.0.1-0 uploaded 2015-09-01T22:03:15.000Z. latest
target@0.2.0.0-0 uploaded 2015-08-13T20:58:46.000Z.
liquidhaskell@0.5.0.1-0 uploaded 2015-08-13T16:41:49.000Z.
liquidhaskell@0.5.0.0-0 uploaded 2015-08-12T23:04:26.000Z.
liquid-fixpoint@0.4.0.0-2 uploaded 2015-08-12T21:05:48.000Z.
liquid-fixpoint@0.4.0.0-1 uploaded 2015-08-12T21:01:21.000Z.
liquid-fixpoint@0.4.0.0-0 uploaded 2015-08-12T20:21:26.000Z.
target@0.1.3.0-1 uploaded 2015-08-10T19:31:41.000Z.
located-base@0.1.0.0-0 uploaded 2015-07-30T20:38:15.000Z.
target@0.1.3.0-0 uploaded 2015-05-23T04:57:51.000Z.
liquidhaskell@0.4.1.1-0 uploaded 2015-05-23T04:36:45.000Z.
liquidhaskell@0.4.1.0-0 uploaded 2015-05-22T23:49:37.000Z.
target@0.1.2.0-0 uploaded 2015-05-22T04:00:04.000Z.
liquidhaskell@0.4.0.1-0 uploaded 2015-05-22T02:52:38.000Z.
liquidhaskell@0.4.0.0-0 uploaded 2015-05-22T00:31:43.000Z.
liquid-fixpoint@0.3.0.1-0 uploaded 2015-05-22T00:29:58.000Z.
liquid-fixpoint@0.3.0.0-0 uploaded 2015-05-20T03:41:35.000Z.
ghc-srcspan-plugin@0.2.1.0-0 uploaded 2015-03-27T21:50:39.000Z.
liquid-fixpoint@0.2.3.2-0 uploaded 2015-03-27T20:36:07.000Z.
liquid-fixpoint@0.2.3.1-0 uploaded 2015-03-05T18:03:22.000Z.
liquidhaskell@0.3.1.0-0 uploaded 2015-03-05T00:39:28.000Z.
liquid-fixpoint@0.2.3.0-0 uploaded 2015-03-05T00:39:15.000Z.
liquidhaskell@0.3.0.0-0 uploaded 2015-02-08T12:54:05.000Z.
liquid-fixpoint@0.2.2.0-0 uploaded 2015-02-06T22:57:52.000Z.
target@0.1.1.0-0 uploaded 2015-01-16T03:15:09.000Z.
ghc-srcspan-plugin@0.2.0.0-1 uploaded 2015-01-01T01:29:55.000Z.
target@0.1.0.0-0 uploaded 2015-01-01T01:21:13.000Z.
liquid-fixpoint@0.2.1.1-0 uploaded 2014-12-31T23:59:55.000Z.
ghc-srcspan-plugin@0.2.0.0-0 uploaded 2014-12-09T18:44:32.000Z.
ghc-srcspan-plugin@0.1.0.0-0 uploaded 2014-12-02T18:36:24.000Z.
liquidhaskell@0.2.1.0-0 uploaded 2014-11-19T05:34:46.000Z.
liquid-fixpoint@0.2.1.0-0 uploaded 2014-11-19T05:33:44.000Z.
liquidhaskell@0.2.0.0-0 uploaded 2014-09-03T04:31:38.000Z.
liquid-fixpoint@0.2.0.0-0 uploaded 2014-09-03T04:29:34.000Z.
liquidhaskell@0.1-0 uploaded 2013-09-23T07:57:51.000Z.
liquid-fixpoint@0.1.0.0-0 uploaded 2013-09-23T07:49:04.000Z.

Packages