package setoid-doc
-- version =
authors = "Ohad Kammar"
-- maintainers =
-- license =
-- brief =
-- readme =
-- homepage =
-- sourceloc =
-- bugtracker =

-- the Idris2 version required (e.g. langversion >= 0.5.1)
-- langversion

-- packages to add to search path
depends
  = contrib
  , setoid
  , frex
modules
  = Tutorial

-- name of executable
sourcedir = "sources"
builddir = "build"
outputdir = "build"

-- script to run before building
-- prebuild =

-- script to run after building
-- postbuild =

-- script to run after building, before installing
-- preinstall =

-- script to run after installing
-- postinstall =

-- script to run before cleaning
-- preclean =

-- script to run after cleaning
-- postclean =