From 358b8b3e053ce07d1191396b4980945549ce0ceb Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Wed, 14 Oct 2015 17:31:36 -0400 Subject: [PATCH] Update cabal file (fix typo, remove old email address and experiments/*ctt) --- cubicaltt.cabal | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/cubicaltt.cabal b/cubicaltt.cabal index 8452d5d..ca1fe2d 100644 --- a/cubicaltt.cabal +++ b/cubicaltt.cabal @@ -4,15 +4,16 @@ name: cubicaltt version: 1.0 synopsis: Experimental implementation of a cubical type theory -description: Experimental implementation of a cubical type theory in which the user can directly manipulate n-dimensional cubes. +description: Experimental implementation of a cubical type theory in + which the user can directly manipulate n-dimensional cubes. license: MIT license-file: LICENSE author: Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg -maintainer: mortberg@chalmers.se +maintainer: -- copyright: category: Language build-type: Custom -extra-source-files: Makefile, README.md, Exp.cf, examples/*.ctt, experiments/*.ctt, cubical.el +extra-source-files: Makefile, README.md, Exp.cf, examples/*.ctt, cubicaltt.el cabal-version: >=1.10 executable cubical -- 2.34.1