Skip to content

Commit

Permalink
Update from Hackage at 2019-09-06T11:23:11Z
Browse files Browse the repository at this point in the history
  • Loading branch information
all-cabal-tool committed Sep 6, 2019
1 parent d1b625e commit 81252f7
Show file tree
Hide file tree
Showing 2 changed files with 33 additions and 0 deletions.
32 changes: 32 additions & 0 deletions kuifje/0.1.1.0/kuifje.cabal
@@ -0,0 +1,32 @@
-- Initial kuifje.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/

name: kuifje
version: 0.1.1.0
synopsis: A Quantitative Information Flow aware programming language.
description: A prototype for a Quantitative Information Flow aware programming language.

Based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.
-- description:
license: BSD3
license-file: LICENSE
author: Marton Bognar
maintainer: marton.bognar@student.kuleuven.be
homepage: https://github.com/martonbognar/kuifje
-- copyright:
category: Language
build-type: Simple
extra-source-files: ChangeLog.md, README.md
cabal-version: >=1.10
-- repository:
source-repository head
type: git
location: git://github.com/martonbognar/kuifje.git

library
exposed-modules: Language.Kuifje.Distribution, Language.Kuifje.PrettyPrint, Language.Kuifje.Semantics, Language.Kuifje.Syntax
--other-modules:
other-extensions: TemplateHaskell, ExistentialQuantification, TypeOperators, TypeSynonymInstances, FlexibleInstances
build-depends: base >=4.9 && < 4.13, lens >=4.17 && < 4.18, boxes >=0.1 && < 0.2, containers >=0.5 && < 0.7
hs-source-dirs: src
default-language: Haskell2010
1 change: 1 addition & 0 deletions kuifje/0.1.1.0/kuifje.json
@@ -0,0 +1 @@
{"package-hashes":{"MD5":"f910022806d453f5ac2806d400672b83","Skein512_512":"529171f3b82ee73a6eaf0e0b1b8021031ec65e1a5b4ab322edbd40f7635d16b7c7f42c4fdb2a9cd9528694cc7a86ee5c5f0604bdc7305e92cea8c94f75d99cc9","SHA1":"eec0e4b9bffe04315d1bc29fc1162ed7fb8a66aa","SHA512":"b1c95a4499f46c1f04e19186e1828547b652a34e06d3b7e352655bb93d29774d5cc06b0afe0c4cb667f4a7b6dea0c31f4c3b045e9b3b2e79051aef0079c6b977","SHA256":"02eb8747749abf197b5387e46a856e4eeb8dc40c95c0881771e085ab6b90d9c1"},"package-locations":["https://hackage.haskell.org/package/kuifje-0.1.1.0/kuifje-0.1.1.0.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/kuifje-0.1.1.0.tar.gz"],"package-size":5357}

0 comments on commit 81252f7

Please sign in to comment.