FacundoDominguez

Uploads

• proof-combinators@0.1.0.0-3 uploaded 2024-12-01T19:40:47.000Z. latest
• proof-combinators@0.1.0.0-2 uploaded 2024-12-01T19:39:43.000Z.
• proof-combinators@0.1.0.0-1 uploaded 2024-12-01T19:36:34.000Z.
• rest-rewrite@0.4.3-1 uploaded 2024-08-30T10:40:29.000Z.
• liquidhaskell-boot@0.9.8.2-1 uploaded 2024-08-24T18:32:36.000Z.
• liquidhaskell@0.9.10.1-0 uploaded 2024-08-21T15:58:15.000Z. latest
• liquidhaskell-boot@0.9.10.1-0 uploaded 2024-08-21T15:57:43.000Z. latest
• liquid-prelude@0.9.2.8.2-0 uploaded 2024-08-21T15:44:02.000Z. latest
• liquidhaskell@0.9.8.2-0 uploaded 2024-08-21T15:43:42.000Z.
• liquidhaskell-boot@0.9.8.2-0 uploaded 2024-08-21T15:43:23.000Z.
• liquid-fixpoint@0.9.6.3.1-0 uploaded 2024-08-21T14:39:13.000Z. latest
• smtlib-backends-tests@0.3-3 uploaded 2024-08-15T22:58:12.000Z. latest
• smtlib-backends-z3@0.3.1-2 uploaded 2024-08-15T22:57:40.000Z. latest
• smtlib-backends-process@0.3-4 uploaded 2024-08-15T22:57:05.000Z. latest
• smtlib-backends@0.4-1 uploaded 2024-08-15T22:56:20.000Z. latest
• smtlib-backends-tests@0.3-2 uploaded 2024-06-18T17:13:00.000Z.
• smtlib-backends-z3@0.3.1-1 uploaded 2024-06-18T17:04:34.000Z.
• smtlib-backends-process@0.3-3 uploaded 2024-06-18T17:03:35.000Z.
• smtlib-backends@0.4-0 uploaded 2024-05-28T20:15:39.000Z.
• timestats@0.2.0-0 uploaded 2024-05-24T11:51:04.000Z. latest
• timestats@0.1.4.1-0 uploaded 2024-05-23T17:09:19.000Z.
• timestats@0.1.4-0 uploaded 2024-05-23T17:03:35.000Z. deprecated
• timestats@0.1.3-0 uploaded 2024-05-19T23:01:53.000Z.
• timestats@0.1.2-0 uploaded 2024-05-17T17:35:16.000Z. deprecated
• liquid-prelude@0.9.2.8.1-1 uploaded 2024-05-16T01:22:41.000Z.
• liquidhaskell@0.8.10.7.1-0 uploaded 2024-04-04T14:00:26.000Z.
• liquid-base@4.14.3.0-0 uploaded 2024-04-04T13:59:46.000Z.
• liquid-ghc-prim@0.6.1-1 uploaded 2024-04-04T12:13:45.000Z.
• liquid-ghc-prim@0.7.0-1 uploaded 2024-04-04T12:12:30.000Z.
• liquid-ghc-prim@0.7.0.1-1 uploaded 2024-04-04T12:11:18.000Z. latest
• liquid-bytestring@0.10.10.0-1 uploaded 2024-04-03T19:10:46.000Z.
• liquid-bytestring@0.10.12.1-1 uploaded 2024-04-03T19:09:02.000Z. latest
• liquid-base@4.15.0.0-2 uploaded 2024-04-03T18:59:11.000Z.
• liquid-base@4.14.0.0-1 uploaded 2024-04-03T18:56:52.000Z.
• liquid-base@4.14.1.0-1 uploaded 2024-04-03T18:56:16.000Z.
• liquid-base@4.15.0.0-1 uploaded 2024-04-03T18:55:20.000Z.
• liquid-base@4.15.1.0-1 uploaded 2024-04-03T18:54:16.000Z. latest
• liquid-containers@0.6.4.1-2 uploaded 2024-04-03T18:52:14.000Z. latest
• liquid-containers@0.6.2.1-1 uploaded 2024-04-03T18:48:10.000Z.
• liquid-containers@0.6.4.1-1 uploaded 2024-04-03T18:46:42.000Z.
• liquid-parallel@3.2.2.0.3-0 uploaded 2024-03-07T11:32:47.000Z. latest
• liquid-prelude@0.9.2.8.1-0 uploaded 2024-03-07T11:32:13.000Z.
• liquid-vector@0.13.1.0.1-0 uploaded 2024-03-07T11:30:28.000Z. latest
• liquidhaskell@0.9.6.3.1-0 uploaded 2024-03-07T11:29:28.000Z.
• liquidhaskell@0.9.8.1-0 uploaded 2024-02-05T11:57:43.000Z.
• liquidhaskell-boot@0.9.8.1-0 uploaded 2024-02-05T11:57:07.000Z.
• liquid-platform@0.9.2.8-0 uploaded 2024-01-29T17:42:14.000Z. latest
• liquidhaskell@0.9.6.3-0 uploaded 2024-01-29T17:41:37.000Z. deprecated
• liquidhaskell-boot@0.9.6.3-0 uploaded 2024-01-29T17:41:08.000Z.
• liquid-fixpoint@0.9.6.3-0 uploaded 2024-01-29T14:26:23.000Z.
• smtlib-backends-z3@0.3.1-0 uploaded 2024-01-29T11:54:03.000Z.
• smtlib-backends-process@0.3-2 uploaded 2024-01-29T11:47:54.000Z.
• smtlib-backends@0.3-2 uploaded 2024-01-29T11:46:05.000Z.
• liquidhaskell@0.9.4.7.0-0 uploaded 2023-12-06T20:26:20.000Z.
• liquidhaskell-boot@0.9.4.7.0-0 uploaded 2023-12-06T20:25:57.000Z.
• liquid-fixpoint@0.9.4.7-0 uploaded 2023-12-06T20:10:52.000Z.
• distributed-closure@0.5.0.0-0 uploaded 2023-11-27T11:34:59.000Z. latest
• smtlib-backends-process@0.3-1 uploaded 2023-11-20T22:06:55.000Z.
• smtlib-backends-tests@0.3-1 uploaded 2023-11-20T22:06:20.000Z.
• smtlib-backends-z3@0.3-1 uploaded 2023-11-20T22:05:54.000Z.
• smtlib-backends@0.3-1 uploaded 2023-11-20T22:05:11.000Z.
• liquidhaskell@0.9.2.8.0-0 uploaded 2023-11-19T12:50:02.000Z.
• liquidhaskell-boot@0.9.2.8.0-0 uploaded 2023-11-19T12:48:08.000Z.
• timestats@0.1.1-0 uploaded 2023-11-05T19:58:10.000Z.

Packages

• cci
• cloud-haskell
• distributed-closure
• distributed-process
• distributed-process-async
• distributed-process-client-server
• distributed-process-execution
• distributed-process-extras
• distributed-process-registry
• distributed-process-simplelocalnet
• distributed-process-supervisor
• distributed-process-task
• distributed-process-tests
• distributed-static
• hfusion
• imapget
• inline-java
• inline-r
• jni
• jvm
• jvm-batching
• jvm-streaming
• liquid-base
• liquid-bytestring
• liquid-containers
• liquid-fixpoint
• liquid-ghc-prim
• liquid-parallel
• liquid-platform
• liquid-prelude
• liquid-vector
• liquidhaskell
• liquidhaskell-boot
• network-transport
• network-transport-composed
• network-transport-inmemory
• network-transport-tcp
• network-transport-tests
• plugins-auto
• proof-combinators
• pthread
• rank1dynamic
• rest-rewrite
• smtlib-backends
• smtlib-backends-process
• smtlib-backends-tests
• smtlib-backends-z3
• sparkle
• timestats