agda-2.5.99.20190207-7-x86_64.pkg.tar.xz


Advertisement

Description

agda - A dependently typed functional programming language and proof assistant

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name agda
Package version 2.5.99.20190207
Package release 7
Package architecture x86_64
Package type xz
Package license custom
Installed size 78.21 MB
Download size 10.58 MB
Official Mirror ftp5.gwdg.de
A dependently typed functional programming language and proof assistant.
Packager: Felix Yan <felixonmars@archlinux.org>

Alternatives

Package Version Architecture Repository
agda - - -

Requires

Name Value
ghc libs
haskell cpphs
haskell hashtables
haskell zlib
haskell ieee754
haskell edisoncore
haskell aeson
haskell equivalence
haskell split
haskell async
haskell strict
haskell gitrev
haskell boxes
haskell hashable
haskell-blaze html
haskell-data hash
haskell-edit distance
haskell-geniplate mirror
haskell-murmur hash
haskell-regex tdfa
haskell-unordered containers
haskell-uri encode

Download

Type URL
Binary Package agda-2.5.99.20190207-7-x86_64.pkg.tar.xz
Source Package agda

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install agda xz package:
    # pacman -Sy agda

Files

Path
/usr/
/usr/bin/agda
/usr/bin/agda-mode
/usr/lib/libHSAgda-2.6.0-Cs4PNQdItNCu6PEyKtFhD-ghc8.6.4.so
/usr/lib/ghc-8.6.4/
/usr/lib/ghc-8.6.4/site-local/
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Paths_Agda.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Benchmarking.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/ImpossibleTest.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Main.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TheTypeChecker.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Version.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/VersionCommit.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/Auto.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/CaseSplit.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/Convert.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/NarrowingSearch.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/Options.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/SearchControl.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/Syntax.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Auto/Typecheck.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Backend.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/CallCompiler.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Common.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/ToTreeless.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/JS/Compiler.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/JS/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/JS/Substitution.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/JS/Syntax.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Coerce.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Compiler.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Encode.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/HaskellTypes.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Misc.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Pragmas.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/MAlonzo/Primitives.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/AsPatterns.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Builtin.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Compare.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/EliminateDefaults.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Erase.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/GuardsToPrims.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Identity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/NormalizeNames.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Simplify.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Subst.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Uncase.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Compiler/Treeless/Unused.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/AgdaTop.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/BasicOps.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/CommandLine.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/EmacsCommand.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/EmacsTop.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/FindFile.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Imports.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/InteractionTop.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/JSONTop.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Library.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/MakeCase.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Options.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Response.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/SearchAbout.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Common.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Dot.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Emacs.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Generate.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/HTML.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/JSON.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/LaTeX.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Precise.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Range.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Highlighting/Vim.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Library/Base.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Library/Parse.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Options/Help.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Options/IORefs.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Options/Lenses.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Interaction/Options/Warnings.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Builtin.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Common.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/DoNotation.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Fixity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/IdiomBrackets.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Info.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Internal.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Literal.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Notation.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Position.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Reflected.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Treeless.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract/Copatterns.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract/Name.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract/Pattern.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract/PatternSynonyms.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Abstract/Views.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Attribute.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Definitions.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Fixity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Generic.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Name.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Operators.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Pattern.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Operators/Parser.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Internal/Defs.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Internal/Generic.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Internal/Names.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Internal/Pattern.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Internal/SanityCheck.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Alex.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Comments.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Layout.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/LexActions.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Lexer.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Literate.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/LookAhead.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Parser.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/StringLiterals.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Parser/Tokens.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Scope/Base.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Scope/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Translation/AbstractToConcrete.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Translation/ConcreteToAbstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Translation/InternalToAbstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Syntax/Translation/ReflectedToAbstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/CallGraph.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/CallMatrix.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/CutOff.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/Inlining.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/Order.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/RecCheck.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/Semiring.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/SparseMatrix.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/TermCheck.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Termination/Termination.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Abstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/CheckInternal.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/CompiledClause.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Constraints.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Conversion.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Coverage.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Datatypes.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/DeadCode.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/DisplayForm.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/DropArgs.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Empty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Errors.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/EtaContract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/EtaExpand.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Forcing.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Free.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Functions.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Generalize.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Implicit.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Injectivity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Inlining.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/InstanceArguments.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Irrelevance.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Level.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/LevelConstraints.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/MetaVars.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Names.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Polarity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Positivity.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Primitive.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/ProjectionLike.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Quote.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/ReconstructParameters.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/RecordPatterns.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Records.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Reduce.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rewriting.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/SizedTypes.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Sort.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Substitute.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/SyntacticEquality.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Telescope.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Unquote.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Warnings.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/With.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/CompiledClause/Compile.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/CompiledClause/Match.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Coverage/Match.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Coverage/SplitTree.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Free/Lazy.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Free/Old.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Free/Precompute.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Free/Reduce.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/MetaVars/Mention.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/MetaVars/Occurs.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Base.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Benchmark.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Builtin.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Caching.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Closure.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Constraints.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Context.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Debug.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Env.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Imports.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/MetaVars.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Mutual.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Open.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Options.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Signature.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/SizedTypes.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/State.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Statistics.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Monad/Trace.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Patterns/Abstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Patterns/Internal.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Patterns/Match.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Positivity/Occurrence.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Primitive/Cubical.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Reduce/Fast.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Reduce/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Application.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Builtin.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Data.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Decl.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Def.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Display.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/LHS.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Record.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Term.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/LHS/Implicit.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/LHS/Problem.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Rules/LHS/Unify.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Base.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances/Common.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances/Errors.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Serialise/Instances/Internal.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/SizedTypes/Solve.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/SizedTypes/Syntax.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/SizedTypes/Utils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Substitute/Class.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Substitute/DeBruijn.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/TypeChecking/Telescope/Path.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/AffineHole.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/AssocList.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Bag.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Benchmark.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/BiMap.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Char.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Cluster.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Either.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Empty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Environment.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Except.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Favorites.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/FileName.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Float.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Function.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Functor.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Geniplate.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Hash.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/HashMap.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IO.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IORef.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Impossible.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IndexedList.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Lens.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/List.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/ListT.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Map.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Maybe.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Memo.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Monad.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Monoid.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/NonemptyList.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Null.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/POMonoid.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/PartialOrd.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Permutation.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Pointer.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Pretty.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/SemiRing.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Singleton.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Size.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/String.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Suffix.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Three.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Time.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Trie.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Tuple.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/TypeLevel.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Update.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/VarSet.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Warshall.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Zipper.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Graph/TopSort.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Haskell/Syntax.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IO/Binary.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IO/Directory.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IO/TempFile.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IO/UTF8.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/IntSet/Infinite.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Lens/Examples.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Maybe/Strict.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Parser/MemoisedCPS.dyn_hi
/usr/lib/ghc-8.6.4/site-local/Agda-2.6.0/Agda/Utils/Parser/ReadP.dyn_hi
/usr/share/
/usr/share/agda/Agda.css
/usr/share/agda/agda.sty
/usr/share/agda/postprocess-latex.pl
/usr/share/agda/JS/agda-rts.js
/usr/share/agda/JS/biginteger.js
/usr/share/agda/MAlonzo/
/usr/share/agda/MAlonzo/src/
/usr/share/agda/MAlonzo/src/MAlonzo/RTE.hs
/usr/share/agda/emacs-mode/agda-input.el
/usr/share/agda/emacs-mode/agda2-abbrevs.el
/usr/share/agda/emacs-mode/agda2-highlight.el
/usr/share/agda/emacs-mode/agda2-mode-pkg.el
/usr/share/agda/emacs-mode/agda2-mode.el
/usr/share/agda/emacs-mode/agda2-queue.el
/usr/share/agda/emacs-mode/agda2.el
/usr/share/agda/emacs-mode/annotation.el
/usr/share/agda/emacs-mode/eri.el
/usr/share/agda/lib/
/usr/share/agda/lib/prim/
/usr/share/agda/lib/prim/Agda/Primitive.agda
/usr/share/agda/lib/prim/Agda/Primitive.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Bool.agda
/usr/share/agda/lib/prim/Agda/Builtin/Bool.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Char.agda
/usr/share/agda/lib/prim/Agda/Builtin/Char.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Coinduction.agda
/usr/share/agda/lib/prim/Agda/Builtin/Coinduction.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Equality.agda
/usr/share/agda/lib/prim/Agda/Builtin/Equality.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Float.agda
/usr/share/agda/lib/prim/Agda/Builtin/Float.agdai
/usr/share/agda/lib/prim/Agda/Builtin/FromNat.agda
/usr/share/agda/lib/prim/Agda/Builtin/FromNat.agdai
/usr/share/agda/lib/prim/Agda/Builtin/FromNeg.agda
/usr/share/agda/lib/prim/Agda/Builtin/FromNeg.agdai
/usr/share/agda/lib/prim/Agda/Builtin/FromString.agda
/usr/share/agda/lib/prim/Agda/Builtin/FromString.agdai
/usr/share/agda/lib/prim/Agda/Builtin/IO.agda
/usr/share/agda/lib/prim/Agda/Builtin/IO.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Int.agda
/usr/share/agda/lib/prim/Agda/Builtin/Int.agdai
/usr/share/agda/lib/prim/Agda/Builtin/List.agda
/usr/share/agda/lib/prim/Agda/Builtin/List.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Nat.agda
/usr/share/agda/lib/prim/Agda/Builtin/Nat.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Reflection.agda
/usr/share/agda/lib/prim/Agda/Builtin/Reflection.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Sigma.agda
/usr/share/agda/lib/prim/Agda/Builtin/Sigma.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Size.agda
/usr/share/agda/lib/prim/Agda/Builtin/Size.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Strict.agda
/usr/share/agda/lib/prim/Agda/Builtin/Strict.agdai
/usr/share/agda/lib/prim/Agda/Builtin/String.agda
/usr/share/agda/lib/prim/Agda/Builtin/String.agdai
/usr/share/agda/lib/prim/Agda/Builtin/TrustMe.agda
/usr/share/agda/lib/prim/Agda/Builtin/TrustMe.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Unit.agda
/usr/share/agda/lib/prim/Agda/Builtin/Unit.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Word.agda
/usr/share/agda/lib/prim/Agda/Builtin/Word.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Glue.agda
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Glue.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Id.agda
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Id.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Path.agda
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Path.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Sub.agda
/usr/share/agda/lib/prim/Agda/Builtin/Cubical/Sub.agdai
/usr/share/agda/lib/prim/Agda/Builtin/Equality/Erase.agda
/usr/share/agda/lib/prim/Agda/Builtin/Equality/Rewrite.agda
/usr/share/agda/lib/prim/Agda/Primitive/Cubical.agda
/usr/share/agda/lib/prim/Agda/Primitive/Cubical.agdai
/usr/share/doc/
/usr/share/doc/agda/
/usr/share/haskell/
/usr/share/haskell/register/agda.sh
/usr/share/haskell/unregister/agda.sh
/usr/share/licenses/
/usr/share/licenses/agda/LICENSE

See Also

Package Description
agda-stdlib-0.17-1-x86_64.pkg.tar.xz Agda standard libraries
agg-2.5-9-x86_64.pkg.tar.xz High Quality Rendering Engine for C++
aide-0.16.1-1-x86_64.pkg.tar.xz A file integrity checker and intrusion detection program
aircrack-ng-1.5.2-1-x86_64.pkg.tar.xz Key cracker for the 802.11 WEP and WPA-PSK protocols
airspy-1.0.9-1-x86_64.pkg.tar.xz Host code for Airspy SDR
aj-snapshot-0.9.9-1-x86_64.pkg.tar.xz Command line utility to store/restore ALSA and/or JACK connections to/from an XML file
alacritty-0.2.9-1-x86_64.pkg.tar.xz A cross-platform, GPU-accelerated terminal emulator
alacritty-terminfo-0.2.9-1-x86_64.pkg.tar.xz Terminfo files for the alacritty terminal emulator
albert-0.16.1-1-x86_64.pkg.tar.xz A sophisticated standalone keyboard launcher
alembic-1.7.10-1-x86_64.pkg.tar.xz A open framework for storing and sharing scene data
alex-3.2.4-8-x86_64.pkg.tar.xz Lexical analyser generator for Haskell
algol68g-2.8.5-2-x86_64.pkg.tar.xz Algol 68 compiler and interpreter
algol68g-doc-2.8.5-2-x86_64.pkg.tar.xz Algol 68 compiler and interpreter
aliki-0.3.0-2-x86_64.pkg.tar.xz Measure Impulse Responses using a sine sweep and deconvolution
allegro-5.2.5-1-x86_64.pkg.tar.xz Portable library mainly aimed at video game and multimedia programming
Advertisement
Advertisement