software_foundations.ipkg

package software_foundations

modules    = Basics
           , Induction
           , Lists
           , Poly
           , Logic
           , IndProp
           , Maps
           , ProofObjects
           , Rel
           , Imp
           , ImpParser
           , ImpCEvalFun

brief      = "Software Foundations in Idris"
version    = 0.0.2.1
readme     = README.md
-- NOTE: For license information see the file LICENSE.

author     = "The Idris community"
maintainer = "Eric Bailey <eric@ericb.me>"

homepage   = https://idris-hackers.github.io/software-foundations
sourceloc  = git://git@github.com:idris-hackers/software-foundations.git
bugtracker = https://github.com/idris-hackers/software-foundations/issues

sourcedir  = src
opts       = "--check --total -X ElabReflection"
pkgs       = pruviloj