/var/lib/ghc/package.conf.d/Agda-2.4.0.2.conf is in libghc-agda-dev 2.4.0.2-2+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 | name: Agda
version: 2.4.0.2
id: Agda-2.4.0.2-19633f9e91b04336a440545ce5e9844e
license: OtherLicense
copyright:
maintainer: Ulf Norell <ulfn@chalmers.se>
stability:
homepage: http://wiki.portal.chalmers.se/agda/
package-url:
synopsis: A dependently typed functional programming language and proof assistant
description: Agda is a dependently typed functional programming language: It has
inductive families, which are similar to Haskell's GADTs, but they
can be indexed by values and not just types. It also has
parameterised modules, mixfix operators, Unicode characters, and an
interactive Emacs interface (the type checker can assist in the
development of your code).
.
Agda is also a proof assistant: It is an interactive system for
writing and checking proofs. Agda is based on intuitionistic type
theory, a foundational system for constructive mathematics developed
by the Swedish logician Per Martin-Löf. It has many
similarities with other proof assistants based on dependent types,
such as Coq, Epigram and NuPRL.
.
This package includes both a command-line program (agda) and an
Emacs mode. If you want to use the Emacs mode you can set it up by
running @agda-mode setup@ (see the README).
.
Note that the Agda library does not follow the package versioning
policy, because it is not intended to be used by third-party
packages.
category: Dependent types
author: Ulf Norell, Andreas Abel, Nils Anders Danielsson, Makoto Takeyama, Catarina Coquand, with contributions by Stevan Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, James Chapman, Jesper Cockx, Dominique Devriese, Peter Divanski, Fredrik Nordvall Forsberg, Olle Fredriksson, Daniel Gustafsson, Patrik Jansson, Alan Jeffrey, Wolfram Kahl, Fredrik Lindblad, Francesco Mazzoli, Stefan Monnier, Darin Morrison, Guilhem Moulin, Nicolas Pouillard, Andrés Sicard-Ramírez, Andrea Vezzosi and many more.
exposed: True
exposed-modules: Agda.Main Agda.ImpossibleTest
Agda.Interaction.BasicOps Agda.Interaction.EmacsTop
Agda.Interaction.InteractionTop Agda.Compiler.CallCompiler
Agda.Compiler.HaskellTypes Agda.Compiler.Epic.AuxAST
Agda.Compiler.Epic.CaseOpts Agda.Compiler.Epic.Compiler
Agda.Compiler.Epic.CompileState Agda.Compiler.Epic.Epic
Agda.Compiler.Epic.Erasure Agda.Compiler.Epic.ForceConstrs
Agda.Compiler.Epic.Forcing Agda.Compiler.Epic.FromAgda
Agda.Compiler.Epic.Injection Agda.Compiler.Epic.Interface
Agda.Compiler.Epic.NatDetection Agda.Compiler.Epic.Primitive
Agda.Compiler.Epic.Smashing Agda.Compiler.Epic.Static
Agda.Compiler.JS.Case Agda.Compiler.JS.Compiler
Agda.Compiler.JS.Syntax Agda.Compiler.JS.Substitution
Agda.Compiler.JS.Parser Agda.Compiler.JS.Pretty
Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode
Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty
Agda.Compiler.MAlonzo.Primitives
Agda.Interaction.CommandLine.CommandLine
Agda.Interaction.EmacsCommand Agda.Interaction.Exceptions
Agda.Interaction.FindFile Agda.Interaction.Highlighting.Dot
Agda.Interaction.Highlighting.Emacs
Agda.Interaction.Highlighting.Generate
Agda.Interaction.Highlighting.HTML
Agda.Interaction.Highlighting.Precise
Agda.Interaction.Highlighting.Range
Agda.Interaction.Highlighting.Vim
Agda.Interaction.Highlighting.LaTeX Agda.Interaction.Imports
Agda.Interaction.Response Agda.Interaction.MakeCase
Agda.Interaction.Monad Agda.Interaction.Options
Agda.Interaction.Options.Lenses Agda.Syntax.Abstract.Copatterns
Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty
Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common
Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Generic
Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Parser
Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty
Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info
Agda.Syntax.Internal Agda.Syntax.Internal.Defs
Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern
Agda.Syntax.Literal Agda.Syntax.Notation Agda.Syntax.Parser.Alex
Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout
Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer
Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad
Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals
Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position
Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad
Agda.Syntax.Translation.AbstractToConcrete
Agda.Syntax.Translation.ConcreteToAbstract
Agda.Syntax.Translation.InternalToAbstract
Agda.Termination.CallGraph Agda.Termination.CallMatrix
Agda.Termination.CutOff Agda.Termination.Inlining
Agda.Termination.Monad Agda.Termination.Order
Agda.Termination.RecCheck Agda.Termination.SparseMatrix
Agda.Termination.Semiring Agda.Termination.TermCheck
Agda.Termination.Termination Agda.Tests Agda.TheTypeChecker
Agda.TypeChecking.Abstract Agda.TypeChecking.CheckInternal
Agda.TypeChecking.CompiledClause
Agda.TypeChecking.CompiledClause.Compile
Agda.TypeChecking.CompiledClause.Match
Agda.TypeChecking.Constraints Agda.TypeChecking.Conversion
Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match
Agda.TypeChecking.Coverage.SplitTree Agda.TypeChecking.Datatypes
Agda.TypeChecking.DisplayForm Agda.TypeChecking.DropArgs
Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract
Agda.TypeChecking.Errors Agda.TypeChecking.Free
Agda.TypeChecking.Forcing Agda.TypeChecking.Implicit
Agda.TypeChecking.Injectivity Agda.TypeChecking.InstanceArguments
Agda.TypeChecking.Irrelevance Agda.TypeChecking.Level
Agda.TypeChecking.LevelConstraints Agda.TypeChecking.MetaVars
Agda.TypeChecking.MetaVars.Mention
Agda.TypeChecking.MetaVars.Occurs Agda.TypeChecking.Monad.Base
Agda.TypeChecking.Monad.Base.Benchmark
Agda.TypeChecking.Monad.Base.KillRange
Agda.TypeChecking.Monad.Benchmark Agda.TypeChecking.Monad.Builtin
Agda.TypeChecking.Monad.Closure Agda.TypeChecking.Monad.Constraints
Agda.TypeChecking.Monad.Context Agda.TypeChecking.Monad.Debug
Agda.TypeChecking.Monad.Env Agda.TypeChecking.Monad.Exception
Agda.TypeChecking.Monad.Imports Agda.TypeChecking.Monad.MetaVars
Agda.TypeChecking.Monad.Mutual Agda.TypeChecking.Monad.Open
Agda.TypeChecking.Monad.Options Agda.TypeChecking.Monad.Sharing
Agda.TypeChecking.Monad.Signature
Agda.TypeChecking.Monad.SizedTypes Agda.TypeChecking.Monad.State
Agda.TypeChecking.Monad.Statistics Agda.TypeChecking.Monad.Trace
Agda.TypeChecking.Monad Agda.TypeChecking.Patterns.Abstract
Agda.TypeChecking.Patterns.Match Agda.TypeChecking.Polarity
Agda.TypeChecking.Positivity Agda.TypeChecking.Pretty
Agda.TypeChecking.Primitive Agda.TypeChecking.ProjectionLike
Agda.TypeChecking.Quote Agda.TypeChecking.RecordPatterns
Agda.TypeChecking.Records Agda.TypeChecking.Reduce
Agda.TypeChecking.Reduce.Monad Agda.TypeChecking.Rules.Builtin
Agda.TypeChecking.Rules.Builtin.Coinduction
Agda.TypeChecking.Rules.Data Agda.TypeChecking.Rules.Decl
Agda.TypeChecking.Rules.Def Agda.TypeChecking.Rules.LHS
Agda.TypeChecking.Rules.LHS.Implicit
Agda.TypeChecking.Rules.LHS.Instantiate
Agda.TypeChecking.Rules.LHS.Problem
Agda.TypeChecking.Rules.LHS.ProblemRest
Agda.TypeChecking.Rules.LHS.Split Agda.TypeChecking.Rules.LHS.Unify
Agda.TypeChecking.Rules.Record Agda.TypeChecking.Rules.Term
Agda.TypeChecking.Serialise Agda.TypeChecking.SizedTypes
Agda.TypeChecking.SizedTypes.Solve
Agda.TypeChecking.SizedTypes.Syntax
Agda.TypeChecking.SizedTypes.Tests
Agda.TypeChecking.SizedTypes.Utils
Agda.TypeChecking.SizedTypes.WarshallSolver
Agda.TypeChecking.Substitute Agda.TypeChecking.SyntacticEquality
Agda.TypeChecking.Telescope Agda.TypeChecking.Test.Generators
Agda.TypeChecking.Tests Agda.TypeChecking.With Agda.Utils.BiMap
Agda.Utils.Char Agda.Utils.Cluster Agda.Utils.Either
Agda.Utils.Favorites Agda.Utils.FileName Agda.Utils.Fresh
Agda.Utils.Functor Agda.Utils.Function Agda.Utils.Geniplate
Agda.Utils.Graph.AdjacencyMap
Agda.Utils.Graph.AdjacencyMap.Unidirectional Agda.Utils.Hash
Agda.Utils.HashMap Agda.Utils.Impossible Agda.Utils.IO.Binary
Agda.Utils.IO.UTF8 Agda.Utils.List Agda.Utils.Map Agda.Utils.Maybe
Agda.Utils.Maybe.Strict Agda.Utils.Monad Agda.Utils.Null
Agda.Utils.PartialOrd Agda.Utils.Permutation Agda.Utils.Pointer
Agda.Utils.Pointed Agda.Utils.Pretty Agda.Utils.QuickCheck
Agda.Utils.ReadP Agda.Utils.SemiRing Agda.Utils.Size
Agda.Utils.String Agda.Utils.Suffix Agda.Utils.TestHelpers
Agda.Utils.Time Agda.Utils.Trie Agda.Utils.Tuple Agda.Utils.Unicode
Agda.Utils.Update Agda.Utils.VarSet Agda.Utils.Warshall
Agda.Version Agda.Auto.Auto Agda.Auto.Convert Agda.Auto.Typecheck
Agda.Auto.NarrowingSearch Agda.Auto.Syntax Agda.Auto.SearchControl
Agda.Auto.CaseSplit
hidden-modules: Paths_Agda
trusted: False
import-dirs: /usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3
library-dirs: /usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3
hs-libraries: HSAgda-2.4.0.2
extra-libraries:
extra-ghci-libraries:
include-dirs:
includes:
depends: QuickCheck-2.7.6-1a837324b203a3afd2f9ad3b3dd3e8bc
STMonadTrans-0.3.2-e8fef82ff0dae37f1a07d1cfa85f2f4d
array-0.4.0.1-3b78425c10ff2dad7acf7e8c8ae014c3
base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57
binary-0.7.2.1-29f1965b1c0074366fcff56fb1fe11ce
boxes-0.1.3-d497b4d9a54c365b7ecd72cd679535ba
bytestring-0.10.0.2-4f93248f75667c2c3321a7a6761b576f
containers-0.5.0.0-ab1dae9a94cd3cc84e7b2805636ebfa2
data-hash-0.2.0.0-5623c90badf46691e8274d4a63b28c1b
deepseq-1.3.0.1-5cc4cd89bdc2e8f6db1833d95ec36926
directory-1.2.0.1-91a788fd88acd7f149f0f10f5f1e23f2
equivalence-0.2.5-c02f67d299208a5aceb4f9cf61bd662e
filepath-1.3.0.1-b12cbe18566fe1532a1fda4c85e31cbe
geniplate-0.6.0.4-3bad61a2837d86e2d50b7cfa50fc996d
hashable-1.2.1.0-7e83190fbb1b0ba81d7022fa876f0f8b
hashtables-1.0.1.8-14f0bacd79c664cb88f0b4a6cc06dc8d
haskeline-0.7.1.3-673aa121bc1e677e78454334e918ab4c
haskell-src-exts-1.14.0.1-597ed7d4d36a08cefcc3bdf5e3b67a1a
mtl-2.1.2-94c72af955e94b8d7b2f359dadd0cb62
parallel-3.2.0.4-6b28f3e9db87f9045e4a465cbf1af2ba
pretty-1.1.1.0-66181c695e6a2e173ba2088cf55cc396
process-1.1.0.2-76e05340eb66705981411022731ca84a
strict-0.3.2-ad9fd428caa2d0508461b993ac69673b
text-0.11.3.1-e38859e86485c167fa7c9441789e7607
time-1.4.0.1-10dc4804a19dc0000fab79908f1a9f50
transformers-0.3.0.0-ff2bb6ac67241ebb987351a3db564af0
unordered-containers-0.2.5.0-11c50452e1ec4de862c3ca415f189512
xhtml-3000.2.1-22b747149ac820f9574f57533a3d58fc
zlib-0.5.4.1-13ba81ac0d7e6f3bdf1ee5ddce4e9aab
hugs-options:
cc-options:
ld-options:
framework-dirs:
frameworks:
haddock-interfaces: /usr/lib/ghc-doc/haddock/agda-2.4.0.2/Agda.haddock
haddock-html: /usr/share/doc/libghc-agda-doc/html/
|