pakcs_1.14.2-1_i386.deb


Advertisement

Description

pakcs - Portland Aachen Kiel Curry Compiler

Property Value
Distribution Ubuntu 17.10 (Artful Aardvark)
Repository Ubuntu Universe i386
Package name pakcs
Package version 1.14.2
Package release 1
Package architecture i386
Package type deb
Installed size 146.82 KB
Download size 14.26 MB
Official Mirror archive.ubuntu.com
PAKCS is an implementation of the multi-paradigm declarative language
Curry jointly developed by the Portland State University, the Aachen
University of Technology, and the University of Kiel. Although this is
not a highly optimized implementation but based on a high-level
compilation of Curry programs into Prolog programs, it is not a toy
implementation: PAKCS has been used for a variety of applications so far
(e.g., graphical programming environments, an object-oriented front-end
for Curry, partial evaluators, database applications, HTML programming
with dynamic web pages, prototyping embedded systems). The size of all
current Curry applications implemented with PAKCS amounts to more than
150,000 lines (or 8 mbytes) of program code.

Alternatives

Package Version Architecture Repository
pakcs_1.14.2-1_amd64.deb 1.14.2 amd64 Ubuntu Universe
pakcs - - -

Requires

Name Value
curry-frontend >= 0.4.2-2~
libjs-prototype >= 1.6
lockfile-progs -
swi-prolog-nox >= 7.2.3

Download

Type URL
Binary Package pakcs_1.14.2-1_i386.deb
Source Package pakcs

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install pakcs deb package:
    # sudo apt-get install pakcs

Files

Path
/usr/bin/cleancurry
/usr/bin/pakcs
/usr/bin/runcurry
/usr/lib/pakcs/Makefile
/usr/lib/pakcs/README
/usr/lib/pakcs/RELNOTES.txt
/usr/lib/pakcs/RESOURCES.html
/usr/lib/pakcs/pakcsrc.default
/usr/lib/pakcs/bin/cleancurry
/usr/lib/pakcs/bin/curry
/usr/lib/pakcs/bin/currypp
/usr/lib/pakcs/bin/pakcs
/usr/lib/pakcs/bin/pakcs-addtypes
/usr/lib/pakcs/bin/pakcs-analyze
/usr/lib/pakcs/bin/pakcs-browse
/usr/lib/pakcs/bin/pakcs-check
/usr/lib/pakcs/bin/pakcs-createmake
/usr/lib/pakcs/bin/pakcs-data2xml
/usr/lib/pakcs/bin/pakcs-doc
/usr/lib/pakcs/bin/pakcs-erd2cdbi
/usr/lib/pakcs/bin/pakcs-erd2curry
/usr/lib/pakcs/bin/pakcs-fcypp
/usr/lib/pakcs/bin/pakcs-frontend
/usr/lib/pakcs/bin/pakcs-makecgi
/usr/lib/pakcs/bin/pakcs-peval
/usr/lib/pakcs/bin/pakcs-pp
/usr/lib/pakcs/bin/pakcs-run
/usr/lib/pakcs/bin/pakcs-style
/usr/lib/pakcs/bin/pakcs-test
/usr/lib/pakcs/bin/pakcs-verify
/usr/lib/pakcs/bin/runcurry
/usr/lib/pakcs/bin/swiprolog
/usr/lib/pakcs/curry2prolog/Makefile
/usr/lib/pakcs/curry2prolog/basics.pl
/usr/lib/pakcs/curry2prolog/block2freeze.pl
/usr/lib/pakcs/curry2prolog/c2p.pl
/usr/lib/pakcs/curry2prolog/compiler.pl
/usr/lib/pakcs/curry2prolog/evaluator.pl
/usr/lib/pakcs/curry2prolog/external.pl
/usr/lib/pakcs/curry2prolog/loader.pl
/usr/lib/pakcs/curry2prolog/pakcs
/usr/lib/pakcs/curry2prolog/pakcsversion.pl
/usr/lib/pakcs/curry2prolog/prologbasics.pl
/usr/lib/pakcs/curry2prolog/readFlcFromFcy.pl
/usr/lib/pakcs/curry2prolog/readXml.pl
/usr/lib/pakcs/curry2prolog/sicstus_processing.pl
/usr/lib/pakcs/curry2prolog/sicstusbasics.pl
/usr/lib/pakcs/curry2prolog/swibasics.pl
/usr/lib/pakcs/curry2prolog/version.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_chr.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_clpb.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_clpfd.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_clpr.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_directory.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_distribution.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_dynamic.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_flat.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_float.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_global.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_globalvar.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_io.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_ioexts.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_plprofiledata.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_ports.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_profile.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_readshowterm.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_socket.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_standard.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_system.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_time.pl
/usr/lib/pakcs/curry2prolog/lib_src/prim_unsafe.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_chr.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_clpb.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_clpfd.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_clpr.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_directory.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_distribution.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_dynamic.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_flat.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_float.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_global.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_globalvar.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_io.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_ioexts.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_plprofiledata.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_ports.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_profile.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_readshowterm.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_socket.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_standard.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_system.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_time.pl
/usr/lib/pakcs/curry2prolog/libswi/prim_unsafe.pl
/usr/lib/pakcs/currytools/Makefile
/usr/lib/pakcs/currytools/README.md
/usr/lib/pakcs/currytools/CASS/Analysis.curry
/usr/lib/pakcs/currytools/CASS/AnalysisDependencies.curry
/usr/lib/pakcs/currytools/CASS/AnalysisDoc.curry
/usr/lib/pakcs/currytools/CASS/AnalysisServer.curry
/usr/lib/pakcs/currytools/CASS/AnalysisWorker.curry
/usr/lib/pakcs/currytools/CASS/Configuration.curry
/usr/lib/pakcs/currytools/CASS/CurryFiles.curry
/usr/lib/pakcs/currytools/CASS/FlatCurryDependency.curry
/usr/lib/pakcs/currytools/CASS/GenericProgInfo.curry
/usr/lib/pakcs/currytools/CASS/LoadAnalysis.curry
/usr/lib/pakcs/currytools/CASS/Main.curry
/usr/lib/pakcs/currytools/CASS/Makefile
/usr/lib/pakcs/currytools/CASS/Protocol.txt
/usr/lib/pakcs/currytools/CASS/README.txt
/usr/lib/pakcs/currytools/CASS/Registry.curry
/usr/lib/pakcs/currytools/CASS/ServerFormats.curry
/usr/lib/pakcs/currytools/CASS/ServerFunctions.curry
/usr/lib/pakcs/currytools/CASS/WorkerFunctions.curry
/usr/lib/pakcs/currytools/CASS/cass
/usr/lib/pakcs/currytools/CASS/cass_worker
/usr/lib/pakcs/currytools/CASS/curryanalysisrc
/usr/lib/pakcs/currytools/CASS/.curry/Analysis.fcy
/usr/lib/pakcs/currytools/CASS/.curry/Analysis.fint
/usr/lib/pakcs/currytools/CASS/.curry/Analysis.icurry
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisDependencies.fcy
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisDependencies.fint
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisDependencies.icurry
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisDoc.fcy
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisDoc.fint
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisDoc.icurry
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisServer.fcy
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisServer.fint
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisServer.icurry
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisWorker.fcy
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisWorker.fint
/usr/lib/pakcs/currytools/CASS/.curry/AnalysisWorker.icurry
/usr/lib/pakcs/currytools/CASS/.curry/Configuration.fcy
/usr/lib/pakcs/currytools/CASS/.curry/Configuration.fint
/usr/lib/pakcs/currytools/CASS/.curry/Configuration.icurry
/usr/lib/pakcs/currytools/CASS/.curry/CurryFiles.fcy
/usr/lib/pakcs/currytools/CASS/.curry/CurryFiles.fint
/usr/lib/pakcs/currytools/CASS/.curry/CurryFiles.icurry
/usr/lib/pakcs/currytools/CASS/.curry/FlatCurryDependency.fcy
/usr/lib/pakcs/currytools/CASS/.curry/FlatCurryDependency.fint
/usr/lib/pakcs/currytools/CASS/.curry/FlatCurryDependency.icurry
/usr/lib/pakcs/currytools/CASS/.curry/GenericProgInfo.fcy
/usr/lib/pakcs/currytools/CASS/.curry/GenericProgInfo.fint
/usr/lib/pakcs/currytools/CASS/.curry/GenericProgInfo.icurry
/usr/lib/pakcs/currytools/CASS/.curry/LoadAnalysis.fcy
/usr/lib/pakcs/currytools/CASS/.curry/LoadAnalysis.fint
/usr/lib/pakcs/currytools/CASS/.curry/LoadAnalysis.icurry
/usr/lib/pakcs/currytools/CASS/.curry/Main.fcy
/usr/lib/pakcs/currytools/CASS/.curry/Main.fint
/usr/lib/pakcs/currytools/CASS/.curry/Main.icurry
/usr/lib/pakcs/currytools/CASS/.curry/Registry.fcy
/usr/lib/pakcs/currytools/CASS/.curry/Registry.fint
/usr/lib/pakcs/currytools/CASS/.curry/Registry.icurry
/usr/lib/pakcs/currytools/CASS/.curry/ServerFormats.fcy
/usr/lib/pakcs/currytools/CASS/.curry/ServerFormats.fint
/usr/lib/pakcs/currytools/CASS/.curry/ServerFormats.icurry
/usr/lib/pakcs/currytools/CASS/.curry/ServerFunctions.fcy
/usr/lib/pakcs/currytools/CASS/.curry/ServerFunctions.fint
/usr/lib/pakcs/currytools/CASS/.curry/ServerFunctions.icurry
/usr/lib/pakcs/currytools/CASS/.curry/WorkerFunctions.fcy
/usr/lib/pakcs/currytools/CASS/.curry/WorkerFunctions.fint
/usr/lib/pakcs/currytools/CASS/.curry/WorkerFunctions.icurry
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/Analysis.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/AnalysisDependencies.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/AnalysisDoc.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/AnalysisServer.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/AnalysisWorker.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/Configuration.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/CurryFiles.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/FlatCurryDependency.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/GenericProgInfo.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/LoadAnalysis.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/Main.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/Registry.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/ServerFormats.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/ServerFunctions.pl
/usr/lib/pakcs/currytools/CASS/.curry/pakcs/WorkerFunctions.pl
/usr/lib/pakcs/currytools/CASS/Docs/Demand.md
/usr/lib/pakcs/currytools/CASS/Docs/Deterministic.md
/usr/lib/pakcs/currytools/CASS/Docs/Functional.md
/usr/lib/pakcs/currytools/CASS/Docs/Groundness.md
/usr/lib/pakcs/currytools/CASS/Docs/HiOrderConstr.md
/usr/lib/pakcs/currytools/CASS/Docs/HiOrderFunc.md
/usr/lib/pakcs/currytools/CASS/Docs/HiOrderType.md
/usr/lib/pakcs/currytools/CASS/Docs/Indeterministic.md
/usr/lib/pakcs/currytools/CASS/Docs/NDEffect.md
/usr/lib/pakcs/currytools/CASS/Docs/NonDetAllDeps.md
/usr/lib/pakcs/currytools/CASS/Docs/NonDetDeps.md
/usr/lib/pakcs/currytools/CASS/Docs/Overlapping.md
/usr/lib/pakcs/currytools/CASS/Docs/PatComplete.md
/usr/lib/pakcs/currytools/CASS/Docs/Productive.md
/usr/lib/pakcs/currytools/CASS/Docs/README.txt
/usr/lib/pakcs/currytools/CASS/Docs/RequiredValue.md
/usr/lib/pakcs/currytools/CASS/Docs/RequiredValues.md
/usr/lib/pakcs/currytools/CASS/Docs/RightLinear.md
/usr/lib/pakcs/currytools/CASS/Docs/RootCyclic.md
/usr/lib/pakcs/currytools/CASS/Docs/RootReplaced.md
/usr/lib/pakcs/currytools/CASS/Docs/SiblingCons.md
/usr/lib/pakcs/currytools/CASS/Docs/SolComplete.md
/usr/lib/pakcs/currytools/CASS/Docs/Terminating.md
/usr/lib/pakcs/currytools/CASS/Docs/Total.md
/usr/lib/pakcs/currytools/CASS/Docs/TypesInValues.md
/usr/lib/pakcs/currytools/CASS/Docs/manual.tex
/usr/lib/pakcs/currytools/CASS/Examples/NonDetTest.curry
/usr/lib/pakcs/currytools/CASS/Examples/Rev.curry
/usr/lib/pakcs/currytools/CASS/Examples/RootReplacedTest.curry
/usr/lib/pakcs/currytools/CASS/Examples/UsingCASS.curry
/usr/lib/pakcs/currytools/addtypes/AddTypes
/usr/lib/pakcs/currytools/addtypes/AddTypes.curry
/usr/lib/pakcs/currytools/addtypes/Makefile
/usr/lib/pakcs/currytools/addtypes/.curry/AddTypes.fcy
/usr/lib/pakcs/currytools/addtypes/.curry/AddTypes.fint
/usr/lib/pakcs/currytools/addtypes/.curry/AddTypes.icurry
/usr/lib/pakcs/currytools/addtypes/.curry/pakcs/AddTypes.pl
/usr/lib/pakcs/currytools/analysis/Demandedness.curry
/usr/lib/pakcs/currytools/analysis/Deterministic.curry
/usr/lib/pakcs/currytools/analysis/Groundness.curry
/usr/lib/pakcs/currytools/analysis/HigherOrder.curry
/usr/lib/pakcs/currytools/analysis/Indeterministic.curry
/usr/lib/pakcs/currytools/analysis/Makefile
/usr/lib/pakcs/currytools/analysis/README.txt
/usr/lib/pakcs/currytools/analysis/RequiredValue.curry
/usr/lib/pakcs/currytools/analysis/RequiredValues.curry
/usr/lib/pakcs/currytools/analysis/RightLinearity.curry
/usr/lib/pakcs/currytools/analysis/RootReplaced.curry
/usr/lib/pakcs/currytools/analysis/SolutionCompleteness.curry
/usr/lib/pakcs/currytools/analysis/Termination.curry
/usr/lib/pakcs/currytools/analysis/TotallyDefined.curry
/usr/lib/pakcs/currytools/analysis/TypeUsage.curry
/usr/lib/pakcs/currytools/analysis/.curry/Demandedness.fcy
/usr/lib/pakcs/currytools/analysis/.curry/Demandedness.fint
/usr/lib/pakcs/currytools/analysis/.curry/Demandedness.icurry
/usr/lib/pakcs/currytools/analysis/.curry/Deterministic.fcy
/usr/lib/pakcs/currytools/analysis/.curry/Deterministic.fint
/usr/lib/pakcs/currytools/analysis/.curry/Deterministic.icurry
/usr/lib/pakcs/currytools/analysis/.curry/Groundness.fcy
/usr/lib/pakcs/currytools/analysis/.curry/Groundness.fint
/usr/lib/pakcs/currytools/analysis/.curry/Groundness.icurry
/usr/lib/pakcs/currytools/analysis/.curry/HigherOrder.fcy
/usr/lib/pakcs/currytools/analysis/.curry/HigherOrder.fint
/usr/lib/pakcs/currytools/analysis/.curry/HigherOrder.icurry
/usr/lib/pakcs/currytools/analysis/.curry/Indeterministic.fcy
/usr/lib/pakcs/currytools/analysis/.curry/Indeterministic.fint
/usr/lib/pakcs/currytools/analysis/.curry/Indeterministic.icurry
/usr/lib/pakcs/currytools/analysis/.curry/RequiredValue.fcy
/usr/lib/pakcs/currytools/analysis/.curry/RequiredValue.fint
/usr/lib/pakcs/currytools/analysis/.curry/RequiredValue.icurry
/usr/lib/pakcs/currytools/analysis/.curry/RequiredValues.fcy
/usr/lib/pakcs/currytools/analysis/.curry/RequiredValues.fint
/usr/lib/pakcs/currytools/analysis/.curry/RequiredValues.icurry
/usr/lib/pakcs/currytools/analysis/.curry/RightLinearity.fcy
/usr/lib/pakcs/currytools/analysis/.curry/RightLinearity.fint
/usr/lib/pakcs/currytools/analysis/.curry/RightLinearity.icurry
/usr/lib/pakcs/currytools/analysis/.curry/RootReplaced.fcy
/usr/lib/pakcs/currytools/analysis/.curry/RootReplaced.fint
/usr/lib/pakcs/currytools/analysis/.curry/RootReplaced.icurry
/usr/lib/pakcs/currytools/analysis/.curry/SolutionCompleteness.fcy
/usr/lib/pakcs/currytools/analysis/.curry/SolutionCompleteness.fint
/usr/lib/pakcs/currytools/analysis/.curry/SolutionCompleteness.icurry
/usr/lib/pakcs/currytools/analysis/.curry/Termination.fcy
/usr/lib/pakcs/currytools/analysis/.curry/Termination.fint
/usr/lib/pakcs/currytools/analysis/.curry/Termination.icurry
/usr/lib/pakcs/currytools/analysis/.curry/TotallyDefined.fcy
/usr/lib/pakcs/currytools/analysis/.curry/TotallyDefined.fint
/usr/lib/pakcs/currytools/analysis/.curry/TotallyDefined.icurry
/usr/lib/pakcs/currytools/analysis/.curry/TypeUsage.fcy
/usr/lib/pakcs/currytools/analysis/.curry/TypeUsage.fint
/usr/lib/pakcs/currytools/analysis/.curry/TypeUsage.icurry
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/Demandedness.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/Deterministic.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/Groundness.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/HigherOrder.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/Indeterministic.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/RequiredValue.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/RequiredValues.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/RightLinearity.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/RootReplaced.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/SolutionCompleteness.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/Termination.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/TotallyDefined.pl
/usr/lib/pakcs/currytools/analysis/.curry/pakcs/TypeUsage.pl
/usr/lib/pakcs/currytools/analysis/OLD/AnaCompleteness.curry
/usr/lib/pakcs/currytools/analysis/OLD/AnaDependency.curry
/usr/lib/pakcs/currytools/analysis/OLD/AnaIndeterminism.curry
/usr/lib/pakcs/currytools/analysis/OLD/AnaOpComplete.curry
/usr/lib/pakcs/currytools/analysis/OLD/AnaOverlapping.curry
/usr/lib/pakcs/currytools/browser/AnalysisTypes.curry
/usr/lib/pakcs/currytools/browser/BrowserAnalysis.curry
/usr/lib/pakcs/currytools/browser/BrowserGUI
/usr/lib/pakcs/currytools/browser/BrowserGUI.curry
/usr/lib/pakcs/currytools/browser/Extend.txt
/usr/lib/pakcs/currytools/browser/GenInt
/usr/lib/pakcs/currytools/browser/Help.txt
/usr/lib/pakcs/currytools/browser/Imports.curry
/usr/lib/pakcs/currytools/browser/Makefile
/usr/lib/pakcs/currytools/browser/README
/usr/lib/pakcs/currytools/browser/ShowFlatCurry
/usr/lib/pakcs/currytools/browser/ShowFlatCurry.curry
/usr/lib/pakcs/currytools/browser/ShowGraph.curry
/usr/lib/pakcs/currytools/browser/SourceProgGUI
/usr/lib/pakcs/currytools/browser/SourceProgGUI.curry
/usr/lib/pakcs/currytools/browser/.curry/AnalysisTypes.fcy
/usr/lib/pakcs/currytools/browser/.curry/AnalysisTypes.fint
/usr/lib/pakcs/currytools/browser/.curry/AnalysisTypes.icurry
/usr/lib/pakcs/currytools/browser/.curry/BrowserAnalysis.fcy
/usr/lib/pakcs/currytools/browser/.curry/BrowserAnalysis.fint
/usr/lib/pakcs/currytools/browser/.curry/BrowserAnalysis.icurry
/usr/lib/pakcs/currytools/browser/.curry/BrowserGUI.fcy
/usr/lib/pakcs/currytools/browser/.curry/BrowserGUI.fint
/usr/lib/pakcs/currytools/browser/.curry/BrowserGUI.icurry
/usr/lib/pakcs/currytools/browser/.curry/Imports.fcy
/usr/lib/pakcs/currytools/browser/.curry/Imports.fint
/usr/lib/pakcs/currytools/browser/.curry/Imports.icurry
/usr/lib/pakcs/currytools/browser/.curry/ShowFlatCurry.fcy
/usr/lib/pakcs/currytools/browser/.curry/ShowFlatCurry.fint
/usr/lib/pakcs/currytools/browser/.curry/ShowFlatCurry.icurry
/usr/lib/pakcs/currytools/browser/.curry/ShowGraph.fcy
/usr/lib/pakcs/currytools/browser/.curry/ShowGraph.fint
/usr/lib/pakcs/currytools/browser/.curry/ShowGraph.icurry
/usr/lib/pakcs/currytools/browser/.curry/SourceProgGUI.fcy
/usr/lib/pakcs/currytools/browser/.curry/SourceProgGUI.fint
/usr/lib/pakcs/currytools/browser/.curry/SourceProgGUI.icurry
/usr/lib/pakcs/currytools/browser/.curry/pakcs/AnalysisTypes.pl
/usr/lib/pakcs/currytools/browser/.curry/pakcs/BrowserAnalysis.pl
/usr/lib/pakcs/currytools/browser/.curry/pakcs/BrowserGUI.pl
/usr/lib/pakcs/currytools/browser/.curry/pakcs/Imports.pl
/usr/lib/pakcs/currytools/browser/.curry/pakcs/ShowFlatCurry.pl
/usr/lib/pakcs/currytools/browser/.curry/pakcs/ShowGraph.pl
/usr/lib/pakcs/currytools/browser/.curry/pakcs/SourceProgGUI.pl
/usr/lib/pakcs/currytools/browser/Docs/README.txt
/usr/lib/pakcs/currytools/browser/Docs/currybrowser.jpg
/usr/lib/pakcs/currytools/browser/Docs/manual.tex
/usr/lib/pakcs/currytools/browser/analysis/CalledByAnalysis.curry
/usr/lib/pakcs/currytools/browser/analysis/Dependency.curry
/usr/lib/pakcs/currytools/browser/analysis/Indeterminism.curry
/usr/lib/pakcs/currytools/browser/analysis/Linearity.curry
/usr/lib/pakcs/currytools/browser/analysis/Nondeterminism.curry
/usr/lib/pakcs/currytools/browser/analysis/Overlapping.curry
/usr/lib/pakcs/currytools/browser/analysis/PatternComplete.curry
/usr/lib/pakcs/currytools/browser/analysis/SolutionComplete.curry
/usr/lib/pakcs/currytools/browser/analysis/.curry/CalledByAnalysis.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/CalledByAnalysis.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/CalledByAnalysis.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/Dependency.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/Dependency.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/Dependency.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/Indeterminism.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/Indeterminism.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/Indeterminism.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/Linearity.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/Linearity.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/Linearity.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/Nondeterminism.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/Nondeterminism.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/Nondeterminism.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/Overlapping.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/Overlapping.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/Overlapping.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/PatternComplete.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/PatternComplete.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/PatternComplete.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/SolutionComplete.fcy
/usr/lib/pakcs/currytools/browser/analysis/.curry/SolutionComplete.fint
/usr/lib/pakcs/currytools/browser/analysis/.curry/SolutionComplete.icurry
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/CalledByAnalysis.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/Dependency.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/Indeterminism.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/Linearity.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/Nondeterminism.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/Overlapping.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/PatternComplete.pl
/usr/lib/pakcs/currytools/browser/analysis/.curry/pakcs/SolutionComplete.pl
/usr/lib/pakcs/currytools/casc/CASC
/usr/lib/pakcs/currytools/casc/CASC.curry
/usr/lib/pakcs/currytools/casc/Makefile
/usr/lib/pakcs/currytools/casc/Opts.curry
/usr/lib/pakcs/currytools/casc/Utils.curry
/usr/lib/pakcs/currytools/casc/cascrc
/usr/lib/pakcs/currytools/casc/.curry/CASC.fcy
/usr/lib/pakcs/currytools/casc/.curry/CASC.fint
/usr/lib/pakcs/currytools/casc/.curry/CASC.icurry
/usr/lib/pakcs/currytools/casc/.curry/Opts.fcy
/usr/lib/pakcs/currytools/casc/.curry/Opts.fint
/usr/lib/pakcs/currytools/casc/.curry/Opts.icurry
/usr/lib/pakcs/currytools/casc/.curry/Utils.fcy
/usr/lib/pakcs/currytools/casc/.curry/Utils.fint
/usr/lib/pakcs/currytools/casc/.curry/Utils.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/ASM.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/ASM.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/ASM.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/AST.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/AST.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/AST.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/AddSpans.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/AddSpans.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/AddSpans.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/Ident.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/Ident.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/Ident.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/PositionUtils.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/PositionUtils.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/PositionUtils.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/RemoveSpans.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/RemoveSpans.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/RemoveSpans.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/SortSplit.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/SortSplit.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/SortSplit.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/Span.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/Span.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/Span.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/SpanAST.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/SpanAST.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/SpanAST.icurry
/usr/lib/pakcs/currytools/casc/.curry/AST/Token.fcy
/usr/lib/pakcs/currytools/casc/.curry/AST/Token.fint
/usr/lib/pakcs/currytools/casc/.curry/AST/Token.icurry
/usr/lib/pakcs/currytools/casc/.curry/AutoCorr/AutoCorrPosAST.fcy
/usr/lib/pakcs/currytools/casc/.curry/AutoCorr/AutoCorrPosAST.fint
/usr/lib/pakcs/currytools/casc/.curry/AutoCorr/AutoCorrPosAST.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/CheckPosAST.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/CheckPosAST.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/CheckPosAST.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/ConstrDecl.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/ConstrDecl.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/ConstrDecl.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/Decl.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/Decl.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/Decl.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/Expression.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/Expression.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/Expression.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/ImportExport.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/ImportExport.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/ImportExport.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/LineLength.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/LineLength.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/LineLength.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/Pattern.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/Pattern.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/Pattern.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/Rhs.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/Rhs.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/Rhs.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/TypeExpr.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/TypeExpr.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/TypeExpr.icurry
/usr/lib/pakcs/currytools/casc/.curry/Check/Types.fcy
/usr/lib/pakcs/currytools/casc/.curry/Check/Types.fint
/usr/lib/pakcs/currytools/casc/.curry/Check/Types.icurry
/usr/lib/pakcs/currytools/casc/.curry/Config/ReadConfig.fcy
/usr/lib/pakcs/currytools/casc/.curry/Config/ReadConfig.fint
/usr/lib/pakcs/currytools/casc/.curry/Config/ReadConfig.icurry
/usr/lib/pakcs/currytools/casc/.curry/Config/Types.fcy
/usr/lib/pakcs/currytools/casc/.curry/Config/Types.fint
/usr/lib/pakcs/currytools/casc/.curry/Config/Types.icurry
/usr/lib/pakcs/currytools/casc/.curry/pakcs/CASC.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Opts.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Utils.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/ASM.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/AST.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/AddSpans.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/Ident.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/PositionUtils.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/RemoveSpans.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/SortSplit.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/Span.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/SpanAST.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AST/Token.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/AutoCorr/AutoCorrPosAST.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/CheckPosAST.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/ConstrDecl.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/Decl.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/Expression.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/ImportExport.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/LineLength.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/Pattern.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/Rhs.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/TypeExpr.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Check/Types.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Config/ReadConfig.pl
/usr/lib/pakcs/currytools/casc/.curry/pakcs/Config/Types.pl
/usr/lib/pakcs/currytools/casc/AST/ASM.curry
/usr/lib/pakcs/currytools/casc/AST/AST.curry
/usr/lib/pakcs/currytools/casc/AST/AddSpans.curry
/usr/lib/pakcs/currytools/casc/AST/Ident.curry
/usr/lib/pakcs/currytools/casc/AST/PositionUtils.curry
/usr/lib/pakcs/currytools/casc/AST/RemoveSpans.curry
/usr/lib/pakcs/currytools/casc/AST/SortSplit.curry
/usr/lib/pakcs/currytools/casc/AST/Span.curry
/usr/lib/pakcs/currytools/casc/AST/SpanAST.curry
/usr/lib/pakcs/currytools/casc/AST/Token.curry
/usr/lib/pakcs/currytools/casc/AutoCorr/AutoCorrPosAST.curry
/usr/lib/pakcs/currytools/casc/Check/CheckPosAST.curry
/usr/lib/pakcs/currytools/casc/Check/ConstrDecl.curry
/usr/lib/pakcs/currytools/casc/Check/Decl.curry
/usr/lib/pakcs/currytools/casc/Check/Expression.curry
/usr/lib/pakcs/currytools/casc/Check/ImportExport.curry
/usr/lib/pakcs/currytools/casc/Check/LineLength.curry
/usr/lib/pakcs/currytools/casc/Check/Pattern.curry
/usr/lib/pakcs/currytools/casc/Check/Rhs.curry
/usr/lib/pakcs/currytools/casc/Check/TypeExpr.curry
/usr/lib/pakcs/currytools/casc/Check/Types.curry
/usr/lib/pakcs/currytools/casc/Config/ReadConfig.curry
/usr/lib/pakcs/currytools/casc/Config/Types.curry
/usr/lib/pakcs/currytools/casc/Docs/Makefile
/usr/lib/pakcs/currytools/casc/Docs/README.txt
/usr/lib/pakcs/currytools/casc/Docs/curry-style-guide.md
/usr/lib/pakcs/currytools/casc/Docs/manual.tex
/usr/lib/pakcs/currytools/casc/Docs/style.html
/usr/lib/pakcs/currytools/casc/Examples/Expressions.curry
/usr/lib/pakcs/currytools/casc/Examples/TestConOpDecl.curry
/usr/lib/pakcs/currytools/casc/Examples/TestEnums.curry
/usr/lib/pakcs/currytools/casc/Examples/TestForeign.curry
/usr/lib/pakcs/currytools/casc/Examples/TestGuardedRhs.curry
/usr/lib/pakcs/currytools/casc/Examples/TestImportExport.curry
/usr/lib/pakcs/currytools/casc/Examples/TestInfixDecl.curry
/usr/lib/pakcs/currytools/casc/Examples/TestLanguagePragma.curry
/usr/lib/pakcs/currytools/casc/Examples/TestLocalDecl.curry
/usr/lib/pakcs/currytools/casc/Examples/TestNewRecordDecl.curry
/usr/lib/pakcs/currytools/casc/Examples/TestOrder.curry
/usr/lib/pakcs/currytools/casc/Examples/TestPatterns.curry
/usr/lib/pakcs/currytools/casc/Examples/notUgly.curry
/usr/lib/pakcs/currytools/casc/Examples/ugly.curry
/usr/lib/pakcs/currytools/cpns/CPNSD
/usr/lib/pakcs/currytools/cpns/CPNSD.curry
/usr/lib/pakcs/currytools/cpns/Makefile
/usr/lib/pakcs/currytools/cpns/README
/usr/lib/pakcs/currytools/cpns/start
/usr/lib/pakcs/currytools/cpns/stop
/usr/lib/pakcs/currytools/cpns/.curry/CPNSD.fcy
/usr/lib/pakcs/currytools/cpns/.curry/CPNSD.fint
/usr/lib/pakcs/currytools/cpns/.curry/CPNSD.icurry
/usr/lib/pakcs/currytools/cpns/.curry/pakcs/CPNSD.pl
/usr/lib/pakcs/currytools/createmakefile/CreateMakefile
/usr/lib/pakcs/currytools/createmakefile/CreateMakefile.curry
/usr/lib/pakcs/currytools/createmakefile/Makefile
/usr/lib/pakcs/currytools/createmakefile/.curry/CreateMakefile.fcy
/usr/lib/pakcs/currytools/createmakefile/.curry/CreateMakefile.fint
/usr/lib/pakcs/currytools/createmakefile/.curry/CreateMakefile.icurry
/usr/lib/pakcs/currytools/createmakefile/.curry/pakcs/CreateMakefile.pl
/usr/lib/pakcs/currytools/curry2js/Curry2JS
/usr/lib/pakcs/currytools/curry2js/Curry2JS.curry
/usr/lib/pakcs/currytools/curry2js/Makefile
/usr/lib/pakcs/currytools/curry2js/.curry/Curry2JS.fcy
/usr/lib/pakcs/currytools/curry2js/.curry/Curry2JS.fint
/usr/lib/pakcs/currytools/curry2js/.curry/Curry2JS.icurry
/usr/lib/pakcs/currytools/curry2js/.curry/pakcs/Curry2JS.pl
/usr/lib/pakcs/currytools/currycheck/AbstractCurryMatch.curry
/usr/lib/pakcs/currytools/currycheck/CheckDetUsage.curry
/usr/lib/pakcs/currytools/currycheck/ContractUsage.curry
/usr/lib/pakcs/currytools/currycheck/CurryCheck
/usr/lib/pakcs/currytools/currycheck/CurryCheck.curry
/usr/lib/pakcs/currytools/currycheck/DefaultRuleUsage.curry
/usr/lib/pakcs/currytools/currycheck/FlatCurryMatch.curry
/usr/lib/pakcs/currytools/currycheck/Makefile
/usr/lib/pakcs/currytools/currycheck/PropertyUsage.curry
/usr/lib/pakcs/currytools/currycheck/SimplifyPostConds.curry
/usr/lib/pakcs/currytools/currycheck/TestAppendix.curry
/usr/lib/pakcs/currytools/currycheck/TheoremUsage.curry
/usr/lib/pakcs/currytools/currycheck/UsageCheck.curry
/usr/lib/pakcs/currytools/currycheck/.curry/AbstractCurryMatch.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/AbstractCurryMatch.fint
/usr/lib/pakcs/currytools/currycheck/.curry/AbstractCurryMatch.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/CheckDetUsage.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/CheckDetUsage.fint
/usr/lib/pakcs/currytools/currycheck/.curry/CheckDetUsage.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/ContractUsage.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/ContractUsage.fint
/usr/lib/pakcs/currytools/currycheck/.curry/ContractUsage.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/CurryCheck.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/CurryCheck.fint
/usr/lib/pakcs/currytools/currycheck/.curry/CurryCheck.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/CurryCheck_O.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/DefaultRuleUsage.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/DefaultRuleUsage.fint
/usr/lib/pakcs/currytools/currycheck/.curry/DefaultRuleUsage.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/FlatCurryMatch.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/FlatCurryMatch.fint
/usr/lib/pakcs/currytools/currycheck/.curry/FlatCurryMatch.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/PropertyUsage.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/PropertyUsage.fint
/usr/lib/pakcs/currytools/currycheck/.curry/PropertyUsage.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/SimplifyPostConds.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/SimplifyPostConds.fint
/usr/lib/pakcs/currytools/currycheck/.curry/SimplifyPostConds.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/TheoremUsage.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/TheoremUsage.fint
/usr/lib/pakcs/currytools/currycheck/.curry/TheoremUsage.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/UsageCheck.fcy
/usr/lib/pakcs/currytools/currycheck/.curry/UsageCheck.fint
/usr/lib/pakcs/currytools/currycheck/.curry/UsageCheck.icurry
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/AbstractCurryMatch.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/CheckDetUsage.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/ContractUsage.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/CurryCheck.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/DefaultRuleUsage.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/FlatCurryMatch.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/PropertyUsage.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/SimplifyPostConds.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/TheoremUsage.pl
/usr/lib/pakcs/currytools/currycheck/.curry/pakcs/UsageCheck.pl
/usr/lib/pakcs/currytools/currycheck/Docs/README.txt
/usr/lib/pakcs/currytools/currycheck/Docs/manual.tex
/usr/lib/pakcs/currytools/currycheck/Examples/DefaultRulesTest.curry
/usr/lib/pakcs/currytools/currycheck/Examples/DetOperations.curry
/usr/lib/pakcs/currytools/currycheck/Examples/ExampleTests.curry
/usr/lib/pakcs/currytools/currycheck/Examples/ExamplesFromManual.curry
/usr/lib/pakcs/currytools/currycheck/Examples/FloatTest.curry
/usr/lib/pakcs/currytools/currycheck/Examples/ListSpecifications.curry
/usr/lib/pakcs/currytools/currycheck/Examples/Nats.curry
/usr/lib/pakcs/currytools/currycheck/Examples/Proof-last-is-deterministic.agda
/usr/lib/pakcs/currytools/currycheck/Examples/SEBF.curry
/usr/lib/pakcs/currytools/currycheck/Examples/SortSpec.curry
/usr/lib/pakcs/currytools/currycheck/Examples/Sum.curry
/usr/lib/pakcs/currytools/currycheck/Examples/Tree.curry
/usr/lib/pakcs/currytools/currycheck/Examples/UsageErrors.curry
/usr/lib/pakcs/currytools/currycheck/Examples/test.sh
/usr/lib/pakcs/currytools/currycheck/Examples/WithVerification/ListProp.curry
/usr/lib/pakcs/currytools/currycheck/Examples/WithVerification/PROOF-appendAddLengths.agda
/usr/lib/pakcs/currytools/currycheck/Examples/WithVerification/PROOF-sortPreservesLength.agda
/usr/lib/pakcs/currytools/currycheck/Examples/WithVerification/README
/usr/lib/pakcs/currytools/currycheck/Examples/WithVerification/SortSpec.curry
/usr/lib/pakcs/currytools/currycheck/Examples/WithVerification/test.sh
/usr/lib/pakcs/currytools/currydoc/CurryDoc
/usr/lib/pakcs/currytools/currydoc/CurryDoc.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocAnaInfo.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocCDoc.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocConfig.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocHtml.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocParams.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocRead.curry
/usr/lib/pakcs/currytools/currydoc/CurryDocTeX.curry
/usr/lib/pakcs/currytools/currydoc/Makefile
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDoc.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDoc.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDoc.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocAnaInfo.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocAnaInfo.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocAnaInfo.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocCDoc.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocCDoc.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocCDoc.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocConfig.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocConfig.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocConfig.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocHtml.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocHtml.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocHtml.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocParams.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocParams.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocParams.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocRead.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocRead.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocRead.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocTeX.fcy
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocTeX.fint
/usr/lib/pakcs/currytools/currydoc/.curry/CurryDocTeX.icurry
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDoc.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocAnaInfo.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocCDoc.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocConfig.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocHtml.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocParams.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocRead.pl
/usr/lib/pakcs/currytools/currydoc/.curry/pakcs/CurryDocTeX.pl
/usr/lib/pakcs/currytools/currydoc/Docs/README.txt
/usr/lib/pakcs/currytools/currydoc/Docs/manual.tex
/usr/lib/pakcs/currytools/currypp/Main
/usr/lib/pakcs/currytools/currypp/Main.curry
/usr/lib/pakcs/currytools/currypp/Makefile
/usr/lib/pakcs/currytools/currypp/README.txt
/usr/lib/pakcs/currytools/currypp/.curry/Main.fcy
/usr/lib/pakcs/currytools/currypp/.curry/Main.fint
/usr/lib/pakcs/currytools/currypp/.curry/Main.icurry
/usr/lib/pakcs/currytools/currypp/.curry/pakcs/Main.pl
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Makefile
/usr/lib/pakcs/currytools/currypp/ContractWrapper/README
/usr/lib/pakcs/currytools/currypp/ContractWrapper/TransContracts.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/.curry/TransContracts.fcy
/usr/lib/pakcs/currytools/currypp/ContractWrapper/.curry/TransContracts.fint
/usr/lib/pakcs/currytools/currypp/ContractWrapper/.curry/TransContracts.icurry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/.curry/pakcs/TransContracts.pl
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/BubbleSort.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/BubbleSortFormat.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/Coin.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/Fac.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/Fib.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/FibInfinite.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/MinSort.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/NDAssertion.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/Quicksort.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/QuicksortPartition.curry
/usr/lib/pakcs/currytools/currypp/ContractWrapper/Examples/test.sh
/usr/lib/pakcs/currytools/currypp/DefaultRules/README
/usr/lib/pakcs/currytools/currypp/DefaultRules/TransDefRules.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/.curry/TransDefRules.fcy
/usr/lib/pakcs/currytools/currypp/DefaultRules/.curry/TransDefRules.fint
/usr/lib/pakcs/currytools/currypp/DefaultRules/.curry/TransDefRules.icurry
/usr/lib/pakcs/currytools/currypp/DefaultRules/.curry/pakcs/TransDefRules.pl
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/BreakWhere.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/BubbleSort.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/BubbleSortDet.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/ColorMap.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/DutchFlag.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/DutchFlagDet.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/FixInt.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/FloatString.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/Guards.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/IndSeqStrategy.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/ListFuns.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/Lookup.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/Nim.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/ParOr.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/ParOrDet.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/Queens.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/Rev2.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/WorldCup.curry
/usr/lib/pakcs/currytools/currypp/DefaultRules/Examples/test.sh
/usr/lib/pakcs/currytools/currypp/Docs/README.txt
/usr/lib/pakcs/currytools/currypp/Docs/diagram.pdf
/usr/lib/pakcs/currytools/currypp/Docs/manual.tex
/usr/lib/pakcs/currytools/currypp/Docs/sqlsyntax.tex
/usr/lib/pakcs/currytools/currypp/IntegratedCode/CIParser.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ParseError.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ParseMonad.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ParsePos.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ParseTypes.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ParseWarning.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/TransICode.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/CIParser.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/CIParser.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/CIParser.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseError.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseError.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseError.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseMonad.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseMonad.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseMonad.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParsePos.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParsePos.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParsePos.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseTypes.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseTypes.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseTypes.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseWarning.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseWarning.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/ParseWarning.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/TransICode.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/TransICode.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/TransICode.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/CIParser.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/ParseError.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/ParseMonad.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/ParsePos.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/ParseTypes.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/ParseWarning.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/.curry/pakcs/TransICode.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/FormatExample.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/HtmlExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/MixedExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/RegexpExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/RevDup.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/XmlExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/test.sh
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/testFormat.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/testHtml.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Examples/testRegExps.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/CreateData.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/ErrorExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/MiscTest.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/README.txt
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/SQLExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/SelectExamples.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/Uni_ERD.term
/usr/lib/pakcs/currytools/currypp/IntegratedCode/ExamplesSQL/test.sh
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/DummyParser.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/FormatParser.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/RegexParser.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/DummyParser.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/DummyParser.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/DummyParser.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/FormatParser.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/FormatParser.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/FormatParser.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/RegexParser.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/RegexParser.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/RegexParser.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/pakcs/DummyParser.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/pakcs/FormatParser.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/.curry/pakcs/RegexParser.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/HTMLContentModel.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/MLParser.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/MLTranslate.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/MLTypes.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/MLWarning.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/HTMLContentModel.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/HTMLContentModel.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/HTMLContentModel.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLParser.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLParser.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLParser.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLTranslate.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLTranslate.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLTranslate.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLTypes.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLTypes.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLTypes.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLWarning.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLWarning.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/MLWarning.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/pakcs/HTMLContentModel.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/pakcs/MLParser.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/pakcs/MLTranslate.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/pakcs/MLTypes.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/ML/.curry/pakcs/MLWarning.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLAst.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLConsistency.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLConverter.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLNamer.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLParser.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLParserInfoType.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLParserTypes.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLScanner.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLToken.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLTranslator.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/SQLTyper.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/Symboltab.curry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLAst.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLAst.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLAst.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLConsistency.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLConsistency.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLConsistency.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLConverter.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLConverter.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLConverter.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLNamer.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLNamer.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLNamer.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParser.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParser.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParser.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParserInfoType.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParserInfoType.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParserInfoType.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParserTypes.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParserTypes.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLParserTypes.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLScanner.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLScanner.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLScanner.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLToken.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLToken.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLToken.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLTranslator.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLTranslator.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLTranslator.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLTyper.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLTyper.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/SQLTyper.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/Symboltab.fcy
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/Symboltab.fint
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/Symboltab.icurry
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLAst.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLConsistency.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLConverter.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLNamer.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLParser.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLParserInfoType.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLParserTypes.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLScanner.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLToken.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLTranslator.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/SQLTyper.pl
/usr/lib/pakcs/currytools/currypp/IntegratedCode/Parser/SQL/.curry/pakcs/Symboltab.pl
/usr/lib/pakcs/currytools/currypp/SequentialRules/README
/usr/lib/pakcs/currytools/currypp/SequentialRules/Reduction.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Selection.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Sequential.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Translation.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/VariableGenerator.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Reduction.fcy
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Reduction.fint
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Reduction.icurry
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Selection.fcy
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Selection.fint
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Selection.icurry
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Sequential.fcy
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Sequential.fint
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Sequential.icurry
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Translation.fcy
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Translation.fint
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/Translation.icurry
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/VariableGenerator.fcy
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/VariableGenerator.fint
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/VariableGenerator.icurry
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/pakcs/Reduction.pl
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/pakcs/Selection.pl
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/pakcs/Sequential.pl
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/pakcs/Translation.pl
/usr/lib/pakcs/currytools/currypp/SequentialRules/.curry/pakcs/VariableGenerator.pl
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/BreakWhere.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/BubbleSort.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/DutchFlag.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/FloatString.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/Guards.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/Lookup.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/Rev2.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/WorldCup.curry
/usr/lib/pakcs/currytools/currypp/SequentialRules/Examples/test.sh
/usr/lib/pakcs/currytools/currytest/CurryTest
/usr/lib/pakcs/currytools/currytest/CurryTest.curry
/usr/lib/pakcs/currytools/currytest/Makefile
/usr/lib/pakcs/currytools/currytest/.curry/CurryTest.fcy
/usr/lib/pakcs/currytools/currytest/.curry/CurryTest.fint
/usr/lib/pakcs/currytools/currytest/.curry/CurryTest.icurry
/usr/lib/pakcs/currytools/currytest/.curry/pakcs/CurryTest.pl
/usr/lib/pakcs/currytools/currytest/Docs/README.txt
/usr/lib/pakcs/currytools/currytest/Docs/currytest.jpg
/usr/lib/pakcs/currytools/currytest/Docs/manual.tex
/usr/lib/pakcs/currytools/ertools/BlogERD.curry
/usr/lib/pakcs/currytools/ertools/CodeGeneration.curry
/usr/lib/pakcs/currytools/ertools/ERD2CDBI
/usr/lib/pakcs/currytools/ertools/ERD2CDBI.curry
/usr/lib/pakcs/currytools/ertools/ERD2Curry
/usr/lib/pakcs/currytools/ertools/ERD2Curry.curry
/usr/lib/pakcs/currytools/ertools/ERD2Graph.curry
/usr/lib/pakcs/currytools/ertools/ERDGeneric.curry
/usr/lib/pakcs/currytools/ertools/KeyDatabase.curry.sqlite
/usr/lib/pakcs/currytools/ertools/Makefile
/usr/lib/pakcs/currytools/ertools/README
/usr/lib/pakcs/currytools/ertools/Transformation.curry
/usr/lib/pakcs/currytools/ertools/UniERD.curry
/usr/lib/pakcs/currytools/ertools/XML2ERD.curry
/usr/lib/pakcs/currytools/ertools/.curry/CodeGeneration.fcy
/usr/lib/pakcs/currytools/ertools/.curry/CodeGeneration.fint
/usr/lib/pakcs/currytools/ertools/.curry/CodeGeneration.icurry
/usr/lib/pakcs/currytools/ertools/.curry/ERD2CDBI.fcy
/usr/lib/pakcs/currytools/ertools/.curry/ERD2CDBI.fint
/usr/lib/pakcs/currytools/ertools/.curry/ERD2CDBI.icurry
/usr/lib/pakcs/currytools/ertools/.curry/ERD2Curry.fcy
/usr/lib/pakcs/currytools/ertools/.curry/ERD2Curry.fint
/usr/lib/pakcs/currytools/ertools/.curry/ERD2Curry.icurry
/usr/lib/pakcs/currytools/ertools/.curry/ERD2Graph.fcy
/usr/lib/pakcs/currytools/ertools/.curry/ERD2Graph.fint
/usr/lib/pakcs/currytools/ertools/.curry/ERD2Graph.icurry
/usr/lib/pakcs/currytools/ertools/.curry/Transformation.fcy
/usr/lib/pakcs/currytools/ertools/.curry/Transformation.fint
/usr/lib/pakcs/currytools/ertools/.curry/Transformation.icurry
/usr/lib/pakcs/currytools/ertools/.curry/XML2ERD.fcy
/usr/lib/pakcs/currytools/ertools/.curry/XML2ERD.fint
/usr/lib/pakcs/currytools/ertools/.curry/XML2ERD.icurry
/usr/lib/pakcs/currytools/ertools/.curry/pakcs/CodeGeneration.pl
/usr/lib/pakcs/currytools/ertools/.curry/pakcs/ERD2CDBI.pl
/usr/lib/pakcs/currytools/ertools/.curry/pakcs/ERD2Curry.pl
/usr/lib/pakcs/currytools/ertools/.curry/pakcs/ERD2Graph.pl
/usr/lib/pakcs/currytools/ertools/.curry/pakcs/Transformation.pl
/usr/lib/pakcs/currytools/ertools/.curry/pakcs/XML2ERD.pl
/usr/lib/pakcs/currytools/ertools/Docs/README.txt
/usr/lib/pakcs/currytools/ertools/Docs/manual.tex
/usr/lib/pakcs/currytools/importcalls/ImportCalls
/usr/lib/pakcs/currytools/importcalls/ImportCalls.curry
/usr/lib/pakcs/currytools/importcalls/Makefile
/usr/lib/pakcs/currytools/importcalls/.curry/ImportCalls.fcy
/usr/lib/pakcs/currytools/importcalls/.curry/ImportCalls.fint
/usr/lib/pakcs/currytools/importcalls/.curry/ImportCalls.icurry
/usr/lib/pakcs/currytools/importcalls/.curry/pakcs/ImportCalls.pl
/usr/lib/pakcs/currytools/optimize/Makefile
/usr/lib/pakcs/currytools/optimize/bindingopt
/usr/lib/pakcs/currytools/optimize/Docs/README.txt
/usr/lib/pakcs/currytools/optimize/Docs/manual.tex
/usr/lib/pakcs/currytools/optimize/binding_optimization/BindingOpt
/usr/lib/pakcs/currytools/optimize/binding_optimization/BindingOpt.curry
/usr/lib/pakcs/currytools/optimize/binding_optimization/Makefile
/usr/lib/pakcs/currytools/optimize/binding_optimization/README.txt
/usr/lib/pakcs/currytools/optimize/binding_optimization/.curry/BindingOpt.fcy
/usr/lib/pakcs/currytools/optimize/binding_optimization/.curry/BindingOpt.fint
/usr/lib/pakcs/currytools/optimize/binding_optimization/.curry/BindingOpt.icurry
/usr/lib/pakcs/currytools/optimize/binding_optimization/.curry/pakcs/BindingOpt.pl
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/Expressions.curry
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/Grep.curry
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/Half.curry
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/Last.curry
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/TESTRESULT.kics2
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/TESTRESULT.pakcs
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/Various.curry
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/test.sh
/usr/lib/pakcs/currytools/optimize/binding_optimization/Examples/test_old.sh
/usr/lib/pakcs/currytools/peval/Abstract.curry
/usr/lib/pakcs/currytools/peval/Configuration.curry
/usr/lib/pakcs/currytools/peval/FlatCurryGoodies.curry
/usr/lib/pakcs/currytools/peval/FlatCurryPretty.curry
/usr/lib/pakcs/currytools/peval/GetOpt2.curry
/usr/lib/pakcs/currytools/peval/Heap.curry
/usr/lib/pakcs/currytools/peval/Instance.curry
/usr/lib/pakcs/currytools/peval/Makefile
/usr/lib/pakcs/currytools/peval/NDState.curry
/usr/lib/pakcs/currytools/peval/NameChange.curry
/usr/lib/pakcs/currytools/peval/Normalization.curry
/usr/lib/pakcs/currytools/peval/Output.curry
/usr/lib/pakcs/currytools/peval/PeLetRW.curry
/usr/lib/pakcs/currytools/peval/PeNatural.curry
/usr/lib/pakcs/currytools/peval/PeRLNT.curry
/usr/lib/pakcs/currytools/peval/PevalBase.curry
/usr/lib/pakcs/currytools/peval/PevalOpts.curry
/usr/lib/pakcs/currytools/peval/PostUnfold.curry
/usr/lib/pakcs/currytools/peval/README.txt
/usr/lib/pakcs/currytools/peval/Renaming.curry
/usr/lib/pakcs/currytools/peval/Set.curry
/usr/lib/pakcs/currytools/peval/State.curry
/usr/lib/pakcs/currytools/peval/Subst.curry
/usr/lib/pakcs/currytools/peval/TestDriver.curry
/usr/lib/pakcs/currytools/peval/Utils.curry
/usr/lib/pakcs/currytools/peval/peval
/usr/lib/pakcs/currytools/peval/peval.curry
/usr/lib/pakcs/currytools/peval/testall.sh
/usr/lib/pakcs/currytools/peval/.curry/Abstract.fcy
/usr/lib/pakcs/currytools/peval/.curry/Abstract.fint
/usr/lib/pakcs/currytools/peval/.curry/Abstract.icurry
/usr/lib/pakcs/currytools/peval/.curry/Configuration.fcy
/usr/lib/pakcs/currytools/peval/.curry/Configuration.fint
/usr/lib/pakcs/currytools/peval/.curry/Configuration.icurry
/usr/lib/pakcs/currytools/peval/.curry/FlatCurryGoodies.fcy
/usr/lib/pakcs/currytools/peval/.curry/FlatCurryGoodies.fint
/usr/lib/pakcs/currytools/peval/.curry/FlatCurryGoodies.icurry
/usr/lib/pakcs/currytools/peval/.curry/FlatCurryPretty.fcy
/usr/lib/pakcs/currytools/peval/.curry/FlatCurryPretty.fint
/usr/lib/pakcs/currytools/peval/.curry/FlatCurryPretty.icurry
/usr/lib/pakcs/currytools/peval/.curry/GetOpt2.fcy
/usr/lib/pakcs/currytools/peval/.curry/GetOpt2.fint
/usr/lib/pakcs/currytools/peval/.curry/GetOpt2.icurry
/usr/lib/pakcs/currytools/peval/.curry/Heap.fcy
/usr/lib/pakcs/currytools/peval/.curry/Heap.fint
/usr/lib/pakcs/currytools/peval/.curry/Heap.icurry
/usr/lib/pakcs/currytools/peval/.curry/Instance.fcy
/usr/lib/pakcs/currytools/peval/.curry/Instance.fint
/usr/lib/pakcs/currytools/peval/.curry/Instance.icurry
/usr/lib/pakcs/currytools/peval/.curry/NDState.fcy
/usr/lib/pakcs/currytools/peval/.curry/NDState.fint
/usr/lib/pakcs/currytools/peval/.curry/NDState.icurry
/usr/lib/pakcs/currytools/peval/.curry/NameChange.fcy
/usr/lib/pakcs/currytools/peval/.curry/NameChange.fint
/usr/lib/pakcs/currytools/peval/.curry/NameChange.icurry
/usr/lib/pakcs/currytools/peval/.curry/Normalization.fcy
/usr/lib/pakcs/currytools/peval/.curry/Normalization.fint
/usr/lib/pakcs/currytools/peval/.curry/Normalization.icurry
/usr/lib/pakcs/currytools/peval/.curry/Output.fcy
/usr/lib/pakcs/currytools/peval/.curry/Output.fint
/usr/lib/pakcs/currytools/peval/.curry/Output.icurry
/usr/lib/pakcs/currytools/peval/.curry/PeLetRW.fcy
/usr/lib/pakcs/currytools/peval/.curry/PeLetRW.fint
/usr/lib/pakcs/currytools/peval/.curry/PeLetRW.icurry
/usr/lib/pakcs/currytools/peval/.curry/PeLetRW_O.fcy
/usr/lib/pakcs/currytools/peval/.curry/PeNatural.fcy
/usr/lib/pakcs/currytools/peval/.curry/PeNatural.fint
/usr/lib/pakcs/currytools/peval/.curry/PeNatural.icurry
/usr/lib/pakcs/currytools/peval/.curry/PeRLNT.fcy
/usr/lib/pakcs/currytools/peval/.curry/PeRLNT.fint
/usr/lib/pakcs/currytools/peval/.curry/PeRLNT.icurry
/usr/lib/pakcs/currytools/peval/.curry/PeRLNT_O.fcy
/usr/lib/pakcs/currytools/peval/.curry/PevalBase.fcy
/usr/lib/pakcs/currytools/peval/.curry/PevalBase.fint
/usr/lib/pakcs/currytools/peval/.curry/PevalBase.icurry
/usr/lib/pakcs/currytools/peval/.curry/PevalOpts.fcy
/usr/lib/pakcs/currytools/peval/.curry/PevalOpts.fint
/usr/lib/pakcs/currytools/peval/.curry/PevalOpts.icurry
/usr/lib/pakcs/currytools/peval/.curry/PostUnfold.fcy
/usr/lib/pakcs/currytools/peval/.curry/PostUnfold.fint
/usr/lib/pakcs/currytools/peval/.curry/PostUnfold.icurry
/usr/lib/pakcs/currytools/peval/.curry/Renaming.fcy
/usr/lib/pakcs/currytools/peval/.curry/Renaming.fint
/usr/lib/pakcs/currytools/peval/.curry/Renaming.icurry
/usr/lib/pakcs/currytools/peval/.curry/Set.fcy
/usr/lib/pakcs/currytools/peval/.curry/Set.fint
/usr/lib/pakcs/currytools/peval/.curry/Set.icurry
/usr/lib/pakcs/currytools/peval/.curry/State.fcy
/usr/lib/pakcs/currytools/peval/.curry/State.fint
/usr/lib/pakcs/currytools/peval/.curry/State.icurry
/usr/lib/pakcs/currytools/peval/.curry/Subst.fcy
/usr/lib/pakcs/currytools/peval/.curry/Subst.fint
/usr/lib/pakcs/currytools/peval/.curry/Subst.icurry
/usr/lib/pakcs/currytools/peval/.curry/Utils.fcy
/usr/lib/pakcs/currytools/peval/.curry/Utils.fint
/usr/lib/pakcs/currytools/peval/.curry/Utils.icurry
/usr/lib/pakcs/currytools/peval/.curry/peval.fcy
/usr/lib/pakcs/currytools/peval/.curry/peval.fint
/usr/lib/pakcs/currytools/peval/.curry/peval.icurry
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Abstract.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Configuration.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/FlatCurryGoodies.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/FlatCurryPretty.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/GetOpt2.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Heap.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Instance.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/NDState.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/NameChange.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Normalization.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Output.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/PeLetRW.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/PeNatural.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/PeRLNT.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/PevalBase.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/PevalOpts.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/PostUnfold.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Renaming.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Set.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/State.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Subst.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/Utils.pl
/usr/lib/pakcs/currytools/peval/.curry/pakcs/peval.pl
/usr/lib/pakcs/currytools/peval/Docs/README.md
/usr/lib/pakcs/currytools/peval/Docs/manual.bib
/usr/lib/pakcs/currytools/peval/Docs/manual.tex
/usr/lib/pakcs/currytools/peval/Docs/structure.dot
/usr/lib/pakcs/currytools/peval/Docs/todo.md
/usr/lib/pakcs/currytools/peval/Examples/power4.curry
/usr/lib/pakcs/currytools/peval/Examples/funpats/last.curry
/usr/lib/pakcs/currytools/peval/Examples/funpats/some.curry
/usr/lib/pakcs/currytools/peval/Examples/funpats/sqlast.curry
/usr/lib/pakcs/currytools/peval/Examples/funpats/suffix.curry
/usr/lib/pakcs/currytools/peval/Examples/funpats/treemirror.curry
/usr/lib/pakcs/currytools/peval/Examples/laws/AppendAssoc.curry
/usr/lib/pakcs/currytools/peval/Examples/laws/Foldl.curry
/usr/lib/pakcs/currytools/peval/Examples/laws/MapMap.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/External.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/dsl11.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/lopstr07.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/lpar99_ex5.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/ppdp07.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/tplp.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/allones.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/choose.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/colormap01.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/colormap02.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/concat.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/digit.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/double_app.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/double_flip.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/enum.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/filtermap.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/headPerm.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/iterate.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/kmp.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/length_app.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/readme.txt
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/sum.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/sum_square.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/jflp02/twice_square.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/readme.txt
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp01.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp02.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp03.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp04.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp05.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp06.curry
/usr/lib/pakcs/currytools/peval/Examples/papers/supercomb/supercomp07.curry
/usr/lib/pakcs/currytools/peval/Examples/sharing/coinpair.curry
/usr/lib/pakcs/currytools/peval/Examples/sharing/double_coin.curry
/usr/lib/pakcs/currytools/peval/Examples/sharing/let_coin.curry
/usr/lib/pakcs/currytools/peval/Examples/sharing/let_sharing.curry
/usr/lib/pakcs/currytools/peval/Examples/special/abstraction.curry
/usr/lib/pakcs/currytools/peval/Examples/special/infiniteBindings.curry
/usr/lib/pakcs/currytools/peval/test/base/apply_case.curry
/usr/lib/pakcs/currytools/peval/test/base/apply_case.spec
/usr/lib/pakcs/currytools/peval/test/base/blackhole.curry
/usr/lib/pakcs/currytools/peval/test/base/blackhole.spec
/usr/lib/pakcs/currytools/peval/test/base/case.curry
/usr/lib/pakcs/currytools/peval/test/base/case.spec
/usr/lib/pakcs/currytools/peval/test/base/case_case.curry
/usr/lib/pakcs/currytools/peval/test/base/case_case.spec
/usr/lib/pakcs/currytools/peval/test/base/case_failed.curry
/usr/lib/pakcs/currytools/peval/test/base/case_failed.spec
/usr/lib/pakcs/currytools/peval/test/base/case_free.curry
/usr/lib/pakcs/currytools/peval/test/base/case_free.spec
/usr/lib/pakcs/currytools/peval/test/base/case_or.curry
/usr/lib/pakcs/currytools/peval/test/base/case_or.spec
/usr/lib/pakcs/currytools/peval/test/base/case_var.curry
/usr/lib/pakcs/currytools/peval/test/base/case_var.spec
/usr/lib/pakcs/currytools/peval/test/base/caserec.curry
/usr/lib/pakcs/currytools/peval/test/base/caserec.spec
/usr/lib/pakcs/currytools/peval/test/base/coin.curry
/usr/lib/pakcs/currytools/peval/test/base/coin.spec
/usr/lib/pakcs/currytools/peval/test/base/coinpair.curry
/usr/lib/pakcs/currytools/peval/test/base/coinpair.spec
/usr/lib/pakcs/currytools/peval/test/base/cons.curry
/usr/lib/pakcs/currytools/peval/test/base/cons.spec
/usr/lib/pakcs/currytools/peval/test/base/cons2.curry
/usr/lib/pakcs/currytools/peval/test/base/cons2.spec
/usr/lib/pakcs/currytools/peval/test/base/double_case.curry
/usr/lib/pakcs/currytools/peval/test/base/double_case.spec
/usr/lib/pakcs/currytools/peval/test/base/double_coin.curry
/usr/lib/pakcs/currytools/peval/test/base/double_coin.spec
/usr/lib/pakcs/currytools/peval/test/base/failed.curry
/usr/lib/pakcs/currytools/peval/test/base/failed.spec
/usr/lib/pakcs/currytools/peval/test/base/failed_branch1.curry
/usr/lib/pakcs/currytools/peval/test/base/failed_branch1.spec
/usr/lib/pakcs/currytools/peval/test/base/failed_branch2.curry
/usr/lib/pakcs/currytools/peval/test/base/failed_branch2.spec
/usr/lib/pakcs/currytools/peval/test/base/failed_branch3.curry
/usr/lib/pakcs/currytools/peval/test/base/failed_branch3.spec
/usr/lib/pakcs/currytools/peval/test/base/fcase_free.curry
/usr/lib/pakcs/currytools/peval/test/base/fcase_free.spec
/usr/lib/pakcs/currytools/peval/test/base/free.curry
/usr/lib/pakcs/currytools/peval/test/base/free.spec
/usr/lib/pakcs/currytools/peval/test/base/ifthenelse.curry
/usr/lib/pakcs/currytools/peval/test/base/ifthenelse.spec
/usr/lib/pakcs/currytools/peval/test/base/io.curry
/usr/lib/pakcs/currytools/peval/test/base/io.spec
/usr/lib/pakcs/currytools/peval/test/base/justcoin.curry
/usr/lib/pakcs/currytools/peval/test/base/justcoin.spec
/usr/lib/pakcs/currytools/peval/test/base/let_coin.curry
/usr/lib/pakcs/currytools/peval/test/base/let_coin.spec
/usr/lib/pakcs/currytools/peval/test/base/let_sharing.curry
/usr/lib/pakcs/currytools/peval/test/base/let_sharing.spec
/usr/lib/pakcs/currytools/peval/test/base/letrec.curry
/usr/lib/pakcs/currytools/peval/test/base/letrec.spec
/usr/lib/pakcs/currytools/peval/test/base/letrec.wfo
/usr/lib/pakcs/currytools/peval/test/base/lit.curry
/usr/lib/pakcs/currytools/peval/test/base/lit.spec
/usr/lib/pakcs/currytools/peval/test/base/loop.curry
/usr/lib/pakcs/currytools/peval/test/base/loop.spec
/usr/lib/pakcs/currytools/peval/test/base/loop2.curry
/usr/lib/pakcs/currytools/peval/test/base/loop2.spec
/usr/lib/pakcs/currytools/peval/test/base/matchCons.curry
/usr/lib/pakcs/currytools/peval/test/base/matchCons.spec
/usr/lib/pakcs/currytools/peval/test/base/ones.curry
/usr/lib/pakcs/currytools/peval/test/base/ones.spec
/usr/lib/pakcs/currytools/peval/test/base/partial.curry
/usr/lib/pakcs/currytools/peval/test/base/partial.spec
/usr/lib/pakcs/currytools/peval/test/base/partial2.curry
/usr/lib/pakcs/currytools/peval/test/base/partial2.spec
/usr/lib/pakcs/currytools/peval/test/base/plus.curry
/usr/lib/pakcs/currytools/peval/test/base/plus.spec
/usr/lib/pakcs/currytools/peval/test/base/sharefail.curry
/usr/lib/pakcs/currytools/peval/test/base/sharefail.spec
/usr/lib/pakcs/currytools/peval/test/base/success.curry
/usr/lib/pakcs/currytools/peval/test/base/success.spec
/usr/lib/pakcs/currytools/peval/test/base/typed.curry
/usr/lib/pakcs/currytools/peval/test/base/typed.spec
/usr/lib/pakcs/currytools/peval/test/base/var.curry
/usr/lib/pakcs/currytools/peval/test/base/var.spec
/usr/lib/pakcs/currytools/peval/test/base/xor_case.curry
/usr/lib/pakcs/currytools/peval/test/base/xor_case.spec
/usr/lib/pakcs/currytools/peval/test/funpats/idpair.curry
/usr/lib/pakcs/currytools/peval/test/funpats/idpair.spec
/usr/lib/pakcs/currytools/peval/test/funpats/lopstr05.curry
/usr/lib/pakcs/currytools/peval/test/funpats/lopstr05.spec
/usr/lib/pakcs/currytools/peval/test/funpats/treemirror.curry
/usr/lib/pakcs/currytools/peval/test/funpats/treemirror.spec
/usr/lib/pakcs/currytools/peval/test/funpats/treemirror.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/base/base01.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base01.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base02.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base02.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base02.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/base/base03.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base03.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base04.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base04.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base05.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base05.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base06.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base06.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base07.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base07.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base07.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/base/base08.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base08.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base09.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base09.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base10.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base10.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base10.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/base/base11.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base11.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base12.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base12.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base12.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/base/base13.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/base13.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/base13.timeout
/usr/lib/pakcs/currytools/peval/test/funpats/base/base13.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/base/base13.wqo
/usr/lib/pakcs/currytools/peval/test/funpats/base/casevar.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/casevar.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/cons.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/cons.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/conslit.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/conslit.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/consnested.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/consnested.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/consnestedvar.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/consnestedvar.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/consvar.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/consvar.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/free.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/free.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/free2.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/free2.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/lit.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/lit.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/litfree.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/litfree.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/nplusk.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/nplusk.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/or.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/or.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/orvar.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/orvar.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/rcasevar.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/rcasevar.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/var.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/var.spec
/usr/lib/pakcs/currytools/peval/test/funpats/base/var2.curry
/usr/lib/pakcs/currytools/peval/test/funpats/base/var2.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/init.curry
/usr/lib/pakcs/currytools/peval/test/funpats/list/init.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/init.timeout
/usr/lib/pakcs/currytools/peval/test/funpats/list/init.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/list/last.curry
/usr/lib/pakcs/currytools/peval/test/funpats/list/last.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/prefix.curry
/usr/lib/pakcs/currytools/peval/test/funpats/list/prefix.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/prefix.timeout
/usr/lib/pakcs/currytools/peval/test/funpats/list/prefix.wfo
/usr/lib/pakcs/currytools/peval/test/funpats/list/some.curry
/usr/lib/pakcs/currytools/peval/test/funpats/list/some.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/sqlast.curry
/usr/lib/pakcs/currytools/peval/test/funpats/list/sqlast.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/suffix.curry
/usr/lib/pakcs/currytools/peval/test/funpats/list/suffix.spec
/usr/lib/pakcs/currytools/peval/test/funpats/list/suffix.wfo
/usr/lib/pakcs/currytools/peval/test/papers/External.curry
/usr/lib/pakcs/currytools/peval/test/papers/dsl11.curry
/usr/lib/pakcs/currytools/peval/test/papers/dsl11.spec
/usr/lib/pakcs/currytools/peval/test/papers/dsl11.wfo
/usr/lib/pakcs/currytools/peval/test/papers/dsl11.wqo
/usr/lib/pakcs/currytools/peval/test/papers/lopstr07.curry
/usr/lib/pakcs/currytools/peval/test/papers/lopstr07.spec
/usr/lib/pakcs/currytools/peval/test/papers/lopstr07.wfo
/usr/lib/pakcs/currytools/peval/test/papers/ppdp07.curry
/usr/lib/pakcs/currytools/peval/test/papers/ppdp07.spec
/usr/lib/pakcs/currytools/peval/test/papers/tplp.curry
/usr/lib/pakcs/currytools/peval/test/papers/tplp.spec
/usr/lib/pakcs/currytools/peval/test/papers/lpar99/lpar_ex5.curry
/usr/lib/pakcs/currytools/peval/test/papers/lpar99/lpar_ex5.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp01.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp01.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp02.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp02.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp03.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp03.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp04.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp04.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp05.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp05.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp05.timeout
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp06.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp06.spec
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp06.wfo
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp06.wqo
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp07.curry
/usr/lib/pakcs/currytools/peval/test/papers/supercomp/supercomp07.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/allones.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/allones.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/choose.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/choose.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/colormap01.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/colormap01.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/colormap01.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/colormap02.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/colormap02.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/colormap02.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/concat.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/concat.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/digit.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/digit.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/double_app.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/double_app.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/double_flip.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/double_flip.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/enum.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/enum.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/enum.timeout
/usr/lib/pakcs/currytools/peval/test/papers/wflp/filtermap.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/filtermap.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/headPerm.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/headPerm.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/headPerm.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/headPerm.wqo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/iterate.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/iterate.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/iterate.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/iterate.wqo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/kmp.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/kmp.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/kmp.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/kmp.wqo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/length_app.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/length_app.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum.timeout
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum.wqo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum_square.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum_square.spec
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum_square.timeout
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum_square.wfo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/sum_square.wqo
/usr/lib/pakcs/currytools/peval/test/papers/wflp/twice_square.curry
/usr/lib/pakcs/currytools/peval/test/papers/wflp/twice_square.spec
/usr/lib/pakcs/currytools/peval/test/prelude/addlast.curry
/usr/lib/pakcs/currytools/peval/test/prelude/addlast.spec
/usr/lib/pakcs/currytools/peval/test/prelude/append1.curry
/usr/lib/pakcs/currytools/peval/test/prelude/append1.spec
/usr/lib/pakcs/currytools/peval/test/prelude/append2.curry
/usr/lib/pakcs/currytools/peval/test/prelude/append2.spec
/usr/lib/pakcs/currytools/peval/test/prelude/append3.curry
/usr/lib/pakcs/currytools/peval/test/prelude/append3.spec
/usr/lib/pakcs/currytools/peval/test/prelude/append4.curry
/usr/lib/pakcs/currytools/peval/test/prelude/append4.spec
/usr/lib/pakcs/currytools/peval/test/prelude/const_free.curry
/usr/lib/pakcs/currytools/peval/test/prelude/const_free.spec
/usr/lib/pakcs/currytools/peval/test/prelude/filter.curry
/usr/lib/pakcs/currytools/peval/test/prelude/filter.spec
/usr/lib/pakcs/currytools/peval/test/prelude/flip.curry
/usr/lib/pakcs/currytools/peval/test/prelude/flip.spec
/usr/lib/pakcs/currytools/peval/test/prelude/foldl.curry
/usr/lib/pakcs/currytools/peval/test/prelude/foldl.spec
/usr/lib/pakcs/currytools/peval/test/prelude/foldl.wfo
/usr/lib/pakcs/currytools/peval/test/prelude/foldr.curry
/usr/lib/pakcs/currytools/peval/test/prelude/foldr.spec
/usr/lib/pakcs/currytools/peval/test/prelude/head.curry
/usr/lib/pakcs/currytools/peval/test/prelude/head.spec
/usr/lib/pakcs/currytools/peval/test/prelude/id.curry
/usr/lib/pakcs/currytools/peval/test/prelude/id.spec
/usr/lib/pakcs/currytools/peval/test/prelude/inc.curry
/usr/lib/pakcs/currytools/peval/test/prelude/inc.spec
/usr/lib/pakcs/currytools/peval/test/prelude/iterate.curry
/usr/lib/pakcs/currytools/peval/test/prelude/iterate.spec
/usr/lib/pakcs/currytools/peval/test/prelude/map.curry
/usr/lib/pakcs/currytools/peval/test/prelude/map.spec
/usr/lib/pakcs/currytools/peval/test/prelude/mapSquare.curry
/usr/lib/pakcs/currytools/peval/test/prelude/mapSquare.spec
/usr/lib/pakcs/currytools/peval/test/prelude/map_const.curry
/usr/lib/pakcs/currytools/peval/test/prelude/map_const.spec
/usr/lib/pakcs/currytools/peval/test/prelude/map_var.curry
/usr/lib/pakcs/currytools/peval/test/prelude/map_var.spec
/usr/lib/pakcs/currytools/peval/test/prelude/not.curry
/usr/lib/pakcs/currytools/peval/test/prelude/not.spec
/usr/lib/pakcs/currytools/peval/test/prelude/notfree.curry
/usr/lib/pakcs/currytools/peval/test/prelude/notfree.spec
/usr/lib/pakcs/currytools/peval/test/prelude/notnot.curry
/usr/lib/pakcs/currytools/peval/test/prelude/notnot.spec
/usr/lib/pakcs/currytools/peval/test/prelude/take.curry
/usr/lib/pakcs/currytools/peval/test/prelude/take.spec
/usr/lib/pakcs/currytools/peval/test/prim/header
/usr/lib/pakcs/currytools/peval/test/prim/neq.curry
/usr/lib/pakcs/currytools/peval/test/prim/neq.spec
/usr/lib/pakcs/currytools/peval/test/prim/plus.curry
/usr/lib/pakcs/currytools/peval/test/prim/plus.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp01.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp01.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp02.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp02.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp03.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp03.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp04.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp04.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp05.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp05.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp06.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp06.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp07.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp07.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp08.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp08.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp09.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp09.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp10.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp10.spec
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp11.curry
/usr/lib/pakcs/currytools/peval/test/prim/amp/amp11.spec
/usr/lib/pakcs/currytools/peval/test/prim/choice/choice01.curry
/usr/lib/pakcs/currytools/peval/test/prim/choice/choice01.spec
/usr/lib/pakcs/currytools/peval/test/prim/choice/choice02.curry
/usr/lib/pakcs/currytools/peval/test/prim/choice/choice02.spec
/usr/lib/pakcs/currytools/peval/test/prim/choice/choice03.curry
/usr/lib/pakcs/currytools/peval/test/prim/choice/choice03.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt01.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt01.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt02.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt02.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt03.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt03.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt04.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt04.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt05.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt05.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt06.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt06.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt07.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt07.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt08.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt08.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt09.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt09.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt10.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt10.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt11.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt11.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt12.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt12.spec
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt13.curry
/usr/lib/pakcs/currytools/peval/test/prim/compare/lt13.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond01.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond01.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond02.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond02.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond03.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond03.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond04.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond04.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond05.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond05.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond06.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond06.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond07.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond07.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond08.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond08.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond09.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond09.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond10.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond10.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond11.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond11.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond12.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond12.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond13.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond13.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond14.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond14.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond15.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond15.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond16.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond16.spec
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond17.curry
/usr/lib/pakcs/currytools/peval/test/prim/cond/cond17.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq01.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq01.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq02.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq02.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq03.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq03.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq04.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq04.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq05.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq05.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq06.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq06.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq07.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq07.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq08.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq08.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq09.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq09.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq10.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq10.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq11.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq11.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq12.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq12.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq13.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq13.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq14.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq14.spec
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq15.curry
/usr/lib/pakcs/currytools/peval/test/prim/eq/eq15.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni01.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni01.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni02.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni02.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni03.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni03.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni04.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni04.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni05.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni05.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni06.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni06.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni07.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni07.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni08.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni08.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni09.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni09.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni10.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni10.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni11.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni11.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni12.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni12.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni13.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni13.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni14.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni14.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni15.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni15.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni16.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni16.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni17.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni17.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni18.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni18.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni19.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni19.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni20.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni20.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni21.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni21.spec
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni22.curry
/usr/lib/pakcs/currytools/peval/test/prim/uni/uni22.spec
/usr/lib/pakcs/currytools/peval/test/prim/unknown/unknown01.curry
/usr/lib/pakcs/currytools/peval/test/prim/unknown/unknown01.spec
/usr/lib/pakcs/currytools/peval/test/prim/unknown/unknown02.curry
/usr/lib/pakcs/currytools/peval/test/prim/unknown/unknown02.spec
/usr/lib/pakcs/currytools/peval/test/special/abstraction.curry
/usr/lib/pakcs/currytools/peval/test/special/abstraction.spec
/usr/lib/pakcs/currytools/peval/test/special/abstraction.timeout
/usr/lib/pakcs/currytools/peval/test/special/abstraction.wfo
/usr/lib/pakcs/currytools/peval/test/special/infiniteBindings.curry
/usr/lib/pakcs/currytools/peval/test/special/infiniteBindings.spec
/usr/lib/pakcs/currytools/peval/test/special/infiniteBindings.timeout
/usr/lib/pakcs/currytools/peval/test/special/noinfo.curry
/usr/lib/pakcs/currytools/peval/test/special/noinfo.spec
/usr/lib/pakcs/currytools/peval/test/special/normalization.curry
/usr/lib/pakcs/currytools/peval/test/special/normalization.spec
/usr/lib/pakcs/currytools/peval/test/special/notBelowCons.curry
/usr/lib/pakcs/currytools/peval/test/special/notBelowCons.spec
/usr/lib/pakcs/currytools/peval/test/special/notcase.curry
/usr/lib/pakcs/currytools/peval/test/special/notcase.spec
/usr/lib/pakcs/currytools/peval/test/special/xorSelf.curry
/usr/lib/pakcs/currytools/peval/test/special/xorSelf.spec
/usr/lib/pakcs/currytools/peval/test/special/xorSelfCoin.curry
/usr/lib/pakcs/currytools/peval/test/special/xorSelfCoin.spec
/usr/lib/pakcs/currytools/peval/test/unification/index.curry
/usr/lib/pakcs/currytools/peval/test/unification/index.spec
/usr/lib/pakcs/currytools/peval/test/unification/last.curry
/usr/lib/pakcs/currytools/peval/test/unification/last.spec
/usr/lib/pakcs/currytools/peval/test/unification/last.timeout
/usr/lib/pakcs/currytools/peval/test/unification/last.wfo
/usr/lib/pakcs/currytools/peval/test/unification/last.wqo
/usr/lib/pakcs/currytools/peval/test/unification/listUni.curry
/usr/lib/pakcs/currytools/peval/test/unification/listUni.spec
/usr/lib/pakcs/currytools/peval/test/unification/listUni.timeout
/usr/lib/pakcs/currytools/peval/test/unification/loop.curry
/usr/lib/pakcs/currytools/peval/test/unification/loop.spec
/usr/lib/pakcs/currytools/peval/test/unification/occurcheck.curry
/usr/lib/pakcs/currytools/peval/test/unification/occurcheck.spec
/usr/lib/pakcs/currytools/peval/test/unification/uniList01.curry
/usr/lib/pakcs/currytools/peval/test/unification/uniList01.spec
/usr/lib/pakcs/currytools/peval/test/unification/uniList02.curry
/usr/lib/pakcs/currytools/peval/test/unification/uniList02.spec
/usr/lib/pakcs/currytools/peval/test/unification/uniList02.wfo
/usr/lib/pakcs/currytools/runcurry/Makefile
/usr/lib/pakcs/currytools/runcurry/RunCurry
/usr/lib/pakcs/currytools/runcurry/RunCurry.curry
/usr/lib/pakcs/currytools/runcurry/.curry/RunCurry.fcy
/usr/lib/pakcs/currytools/runcurry/.curry/RunCurry.fint
/usr/lib/pakcs/currytools/runcurry/.curry/RunCurry.icurry
/usr/lib/pakcs/currytools/runcurry/.curry/pakcs/RunCurry.pl
/usr/lib/pakcs/currytools/runcurry/Docs/README.txt
/usr/lib/pakcs/currytools/runcurry/Docs/manual.tex
/usr/lib/pakcs/currytools/runcurry/Examples/TESTRESULT.kics2
/usr/lib/pakcs/currytools/runcurry/Examples/TESTRESULT.pakcs
/usr/lib/pakcs/currytools/runcurry/Examples/Test.curry
/usr/lib/pakcs/currytools/runcurry/Examples/curryscript.sh
/usr/lib/pakcs/currytools/runcurry/Examples/test.sh
/usr/lib/pakcs/currytools/verification/Makefile
/usr/lib/pakcs/currytools/verification/ToAgda.curry
/usr/lib/pakcs/currytools/verification/ToVerifier
/usr/lib/pakcs/currytools/verification/ToVerifier.curry
/usr/lib/pakcs/currytools/verification/VerifyOptions.curry
/usr/lib/pakcs/currytools/verification/.curry/ToAgda.fcy
/usr/lib/pakcs/currytools/verification/.curry/ToAgda.fint
/usr/lib/pakcs/currytools/verification/.curry/ToAgda.icurry
/usr/lib/pakcs/currytools/verification/.curry/ToVerifier.fcy
/usr/lib/pakcs/currytools/verification/.curry/ToVerifier.fint
/usr/lib/pakcs/currytools/verification/.curry/ToVerifier.icurry
/usr/lib/pakcs/currytools/verification/.curry/VerifyOptions.fcy
/usr/lib/pakcs/currytools/verification/.curry/VerifyOptions.fint
/usr/lib/pakcs/currytools/verification/.curry/VerifyOptions.icurry
/usr/lib/pakcs/currytools/verification/.curry/pakcs/ToAgda.pl
/usr/lib/pakcs/currytools/verification/.curry/pakcs/ToVerifier.pl
/usr/lib/pakcs/currytools/verification/.curry/pakcs/VerifyOptions.pl
/usr/lib/pakcs/currytools/verification/Docs/Double.curry
/usr/lib/pakcs/currytools/verification/Docs/PROOF-evendoublecoin.agda
/usr/lib/pakcs/currytools/verification/Docs/README.txt
/usr/lib/pakcs/currytools/verification/Docs/TO-PROVE-evendoublecoin.agda
/usr/lib/pakcs/currytools/verification/Docs/manual.tex
/usr/lib/pakcs/currytools/verification/Examples/Double.curry
/usr/lib/pakcs/currytools/verification/Examples/EvenOdd.curry
/usr/lib/pakcs/currytools/verification/Examples/Game.curry
/usr/lib/pakcs/currytools/verification/Examples/MyList.curry
/usr/lib/pakcs/currytools/verification/Examples/PROOF-appendIsAssoc.agda
/usr/lib/pakcs/currytools/verification/Examples/PROOF-evendoublecoin.agda
/usr/lib/pakcs/currytools/verification/Examples/PROOF-gamelength.agda
/usr/lib/pakcs/currytools/verification/Examples/PROOF-odddoublecoin.agda
/usr/lib/pakcs/currytools/verification/Examples/PROOF-permlength.agda
/usr/lib/pakcs/currytools/verification/Examples/Perm.curry
/usr/lib/pakcs/currytools/verification/Examples/test.sh
/usr/lib/pakcs/currytools/verification/imports/nondet-thms.agda
/usr/lib/pakcs/currytools/verification/imports/nondet.agda
/usr/lib/pakcs/currytools/www/Makefile
/usr/lib/pakcs/currytools/www/README
/usr/lib/pakcs/currytools/www/Registry
/usr/lib/pakcs/currytools/www/Registry.curry
/usr/lib/pakcs/currytools/www/SubmitForm
/usr/lib/pakcs/currytools/www/SubmitForm.curry
/usr/lib/pakcs/currytools/www/.curry/Registry.fcy
/usr/lib/pakcs/currytools/www/.curry/Registry.fint
/usr/lib/pakcs/currytools/www/.curry/Registry.icurry
/usr/lib/pakcs/currytools/www/.curry/SubmitForm.fcy
/usr/lib/pakcs/currytools/www/.curry/SubmitForm.fint
/usr/lib/pakcs/currytools/www/.curry/SubmitForm.icurry
/usr/lib/pakcs/currytools/www/.curry/pakcs/Registry.pl
/usr/lib/pakcs/currytools/www/.curry/pakcs/SubmitForm.pl
/usr/lib/pakcs/currytools/xmldata/Data2Xml
/usr/lib/pakcs/currytools/xmldata/Data2Xml.curry
/usr/lib/pakcs/currytools/xmldata/Makefile
/usr/lib/pakcs/currytools/xmldata/.curry/Data2Xml.fcy
/usr/lib/pakcs/currytools/xmldata/.curry/Data2Xml.fint
/usr/lib/pakcs/currytools/xmldata/.curry/Data2Xml.icurry
/usr/lib/pakcs/currytools/xmldata/.curry/pakcs/Data2Xml.pl
/usr/lib/pakcs/currytools/xmldata/Examples/test.sh
/usr/lib/pakcs/currytools/xmldata/Examples/testData2Xml.curry
/usr/lib/pakcs/currytools/xmldata/Examples/testData2XmlProg.curry
/usr/lib/pakcs/docs/README
/usr/lib/pakcs/docs/flatcurry.dtd
/usr/lib/pakcs/docs/src/Makefile
/usr/lib/pakcs/docs/src/auxiliary_files.tex
/usr/lib/pakcs/docs/src/currybrowser.eps
/usr/lib/pakcs/docs/src/currytest.eps
/usr/lib/pakcs/docs/src/distribution.tex
/usr/lib/pakcs/docs/src/extensions.tex
/usr/lib/pakcs/docs/src/external_ops.tex
/usr/lib/pakcs/docs/src/libraries.tex
/usr/lib/pakcs/docs/src/manual.bib
/usr/lib/pakcs/docs/src/manual.tex
/usr/lib/pakcs/docs/src/markdown_syntax.txt
/usr/lib/pakcs/docs/src/overview.tex
/usr/lib/pakcs/docs/src/pakcs_overview.eps
/usr/lib/pakcs/docs/src/pakcs_overview.fig
/usr/lib/pakcs/docs/src/pakcs_overview.jpg
/usr/lib/pakcs/docs/src/preface.tex
/usr/lib/pakcs/docs/src/preprocessing.tex
/usr/lib/pakcs/docs/src/problems.tex
/usr/lib/pakcs/docs/src/syntax.sty
/usr/lib/pakcs/docs/src/syntax.tex
/usr/lib/pakcs/docs/src/ui.tex
/usr/lib/pakcs/docs/src/usage.tex
/usr/lib/pakcs/examples/README
/usr/lib/pakcs/examples/TESTRESULT.sicstus
/usr/lib/pakcs/examples/TESTRESULT.swi
/usr/lib/pakcs/examples/account.curry
/usr/lib/pakcs/examples/allsols.curry
/usr/lib/pakcs/examples/assembler.curry
/usr/lib/pakcs/examples/benchmark.curry
/usr/lib/pakcs/examples/benchmark_pakcs.curry
/usr/lib/pakcs/examples/best.curry
/usr/lib/pakcs/examples/casetest.curry
/usr/lib/pakcs/examples/chords.curry
/usr/lib/pakcs/examples/colormap.curry
/usr/lib/pakcs/examples/colormap_nd.curry
/usr/lib/pakcs/examples/daVinciTest.curry
/usr/lib/pakcs/examples/diamond.curry
/usr/lib/pakcs/examples/digit.curry
/usr/lib/pakcs/examples/england.curry
/usr/lib/pakcs/examples/escher_cond.curry
/usr/lib/pakcs/examples/escher_higher.curry
/usr/lib/pakcs/examples/escher_perm.curry
/usr/lib/pakcs/examples/exchange.curry
/usr/lib/pakcs/examples/family_con.curry
/usr/lib/pakcs/examples/family_fun.curry
/usr/lib/pakcs/examples/family_nd.curry
/usr/lib/pakcs/examples/family_rel.curry
/usr/lib/pakcs/examples/first.curry
/usr/lib/pakcs/examples/higher.curry
/usr/lib/pakcs/examples/horseman.curry
/usr/lib/pakcs/examples/index.html
/usr/lib/pakcs/examples/inflists.curry
/usr/lib/pakcs/examples/infresiduate.curry
/usr/lib/pakcs/examples/iodemo.curry
/usr/lib/pakcs/examples/last.curry
/usr/lib/pakcs/examples/maxtree.curry
/usr/lib/pakcs/examples/member.curry
/usr/lib/pakcs/examples/mergesort.curry
/usr/lib/pakcs/examples/mergesort_or.curry
/usr/lib/pakcs/examples/nats.curry
/usr/lib/pakcs/examples/nondetfunc.curry
/usr/lib/pakcs/examples/optmatch.curry
/usr/lib/pakcs/examples/prolog.curry
/usr/lib/pakcs/examples/qsortlet.curry
/usr/lib/pakcs/examples/queens.curry
/usr/lib/pakcs/examples/quicksort.curry
/usr/lib/pakcs/examples/ralign.curry
/usr/lib/pakcs/examples/rectype.curry
/usr/lib/pakcs/examples/relational.curry
/usr/lib/pakcs/examples/rev.curry
/usr/lib/pakcs/examples/rigidadd.curry
/usr/lib/pakcs/examples/rigidor.curry
/usr/lib/pakcs/examples/search.curry
/usr/lib/pakcs/examples/sportsdb.curry
/usr/lib/pakcs/examples/tctest.curry
/usr/lib/pakcs/examples/test.sh
/usr/lib/pakcs/examples/unittest.curry
/usr/lib/pakcs/examples/CHR/Bool.curry
/usr/lib/pakcs/examples/CHR/FD.curry
/usr/lib/pakcs/examples/CHR/Fib.curry
/usr/lib/pakcs/examples/CHR/GCD.curry
/usr/lib/pakcs/examples/CHR/Gauss.curry
/usr/lib/pakcs/examples/CHR/Leq.curry
/usr/lib/pakcs/examples/CHR/Primes.curry
/usr/lib/pakcs/examples/CHR/TESTRESULT
/usr/lib/pakcs/examples/CHR/UnionFind.curry
/usr/lib/pakcs/examples/CHR/test.sh
/usr/lib/pakcs/examples/CLP/circuit.curry
/usr/lib/pakcs/examples/CLP/magicseries.curry
/usr/lib/pakcs/examples/CLP/magicseries2.curry
/usr/lib/pakcs/examples/CLP/mortgage.curry
/usr/lib/pakcs/examples/CLP/queens.curry
/usr/lib/pakcs/examples/CLP/queens2.curry
/usr/lib/pakcs/examples/CLP/smm.curry
/usr/lib/pakcs/examples/CLP/smm2.curry
/usr/lib/pakcs/examples/CLP/sudoku.curry
/usr/lib/pakcs/examples/CLP/sudoku2.curry
/usr/lib/pakcs/examples/GUI/calc.curry
/usr/lib/pakcs/examples/GUI/checkbutton.curry
/usr/lib/pakcs/examples/GUI/config.curry
/usr/lib/pakcs/examples/GUI/counter.curry
/usr/lib/pakcs/examples/GUI/counter_controlled.curry
/usr/lib/pakcs/examples/GUI/counter_stdin_controlled.curry
/usr/lib/pakcs/examples/GUI/events.curry
/usr/lib/pakcs/examples/GUI/fractal.curry
/usr/lib/pakcs/examples/GUI/hello.curry
/usr/lib/pakcs/examples/GUI/hilbert.curry
/usr/lib/pakcs/examples/GUI/inputmask.curry
/usr/lib/pakcs/examples/GUI/mail.curry
/usr/lib/pakcs/examples/GUI/menu.curry
/usr/lib/pakcs/examples/GUI/radiotraffic.curry
/usr/lib/pakcs/examples/GUI/scrollbar.curry
/usr/lib/pakcs/examples/GUI/sierpinski.curry
/usr/lib/pakcs/examples/GUI/temperature.curry
/usr/lib/pakcs/examples/GUI/textappend.curry
/usr/lib/pakcs/examples/GUI/textstyledappend.curry
/usr/lib/pakcs/examples/distcurry/accountport.curry
/usr/lib/pakcs/examples/distcurry/addnamedserver.curry
/usr/lib/pakcs/examples/distcurry/addserver.curry
/usr/lib/pakcs/examples/distcurry/addtimeoutserver.curry
/usr/lib/pakcs/examples/distcurry/counter.curry
/usr/lib/pakcs/examples/distcurry/httpget.curry
/usr/lib/pakcs/examples/distcurry/nameserver.curry
/usr/lib/pakcs/examples/distcurry/philo.curry
/usr/lib/pakcs/examples/distcurry/philo_ext.curry
/usr/lib/pakcs/examples/distcurry/philo_start
/usr/lib/pakcs/examples/distcurry/sema.curry
/usr/lib/pakcs/examples/distcurry/talk.curry
/usr/lib/pakcs/examples/listcomp/arithseq.curry
/usr/lib/pakcs/examples/listcomp/default.lcurry
/usr/lib/pakcs/examples/listcomp/multgen.curry
/usr/lib/pakcs/examples/listcomp/psort.curry
/usr/lib/pakcs/examples/meta/Imports.curry
/usr/lib/pakcs/examples/meta/putModuleHead.curry
/usr/lib/pakcs/examples/modules/ModConc.curry
/usr/lib/pakcs/examples/modules/UseConc1.curry
/usr/lib/pakcs/examples/modules/UseConc2.curry
/usr/lib/pakcs/examples/parsing/expr_parser.curry
/usr/lib/pakcs/examples/parsing/palindrome.curry
/usr/lib/pakcs/include/curry2js_prims.js
/usr/lib/pakcs/include/currydoc.css
/usr/lib/pakcs/include/currydoc.tex
/usr/lib/pakcs/include/wui_prims.js
/usr/lib/pakcs/lib/AllLibraries.curry
/usr/lib/pakcs/lib/AllSolutions.curry
/usr/lib/pakcs/lib/AllSolutions.prim_c2p
/usr/lib/pakcs/lib/AnsiCodes.curry
/usr/lib/pakcs/lib/Array.curry
/usr/lib/pakcs/lib/Assertion.curry
/usr/lib/pakcs/lib/Bootstrap3Style.curry
/usr/lib/pakcs/lib/CHR.curry
/usr/lib/pakcs/lib/CHRcompiled.curry
/usr/lib/pakcs/lib/CHRcompiled.prim_c2p
/usr/lib/pakcs/lib/CLPB.curry
/usr/lib/pakcs/lib/CLPB.prim_c2p
/usr/lib/pakcs/lib/CLPFD.curry
/usr/lib/pakcs/lib/CLPFD.prim_c2p
/usr/lib/pakcs/lib/CLPR.curry
/usr/lib/pakcs/lib/CLPR.prim_c2p
/usr/lib/pakcs/lib/CPNS.curry
/usr/lib/pakcs/lib/CSV.curry
/usr/lib/pakcs/lib/CategorizedHtmlList.curry
/usr/lib/pakcs/lib/Char.curry
/usr/lib/pakcs/lib/Combinatorial.curry
/usr/lib/pakcs/lib/CurryStringClassifier.curry
/usr/lib/pakcs/lib/Database.curry
/usr/lib/pakcs/lib/Debug.curry
/usr/lib/pakcs/lib/Dequeue.curry
/usr/lib/pakcs/lib/Directory.curry
/usr/lib/pakcs/lib/Directory.prim_c2p
/usr/lib/pakcs/lib/Distribution.curry
/usr/lib/pakcs/lib/Distribution.prim_c2p
/usr/lib/pakcs/lib/Dynamic.curry
/usr/lib/pakcs/lib/Dynamic.prim_c2p
/usr/lib/pakcs/lib/Either.curry
/usr/lib/pakcs/lib/ErrorState.curry
/usr/lib/pakcs/lib/FileGoodies.curry
/usr/lib/pakcs/lib/FilePath.curry
/usr/lib/pakcs/lib/Findall.curry
/usr/lib/pakcs/lib/Findall.prim_c2p
/usr/lib/pakcs/lib/FiniteMap.curry
/usr/lib/pakcs/lib/Float.curry
/usr/lib/pakcs/lib/Float.prim_c2p
/usr/lib/pakcs/lib/Format.curry
/usr/lib/pakcs/lib/Function.curry
/usr/lib/pakcs/lib/FunctionInversion.curry
/usr/lib/pakcs/lib/GUI.curry
/usr/lib/pakcs/lib/GetOpt.curry
/usr/lib/pakcs/lib/Global.curry
/usr/lib/pakcs/lib/Global.prim_c2p
/usr/lib/pakcs/lib/GlobalVariable.curry
/usr/lib/pakcs/lib/GlobalVariable.prim_c2p
/usr/lib/pakcs/lib/GraphInductive.curry
/usr/lib/pakcs/lib/HTML.curry
/usr/lib/pakcs/lib/HtmlCgi.curry
/usr/lib/pakcs/lib/HtmlParser.curry
/usr/lib/pakcs/lib/IO.curry
/usr/lib/pakcs/lib/IO.prim_c2p
/usr/lib/pakcs/lib/IOExts.curry
/usr/lib/pakcs/lib/IOExts.prim_c2p
/usr/lib/pakcs/lib/Integer.curry
/usr/lib/pakcs/lib/JavaScript.curry
/usr/lib/pakcs/lib/KeyDB.curry
/usr/lib/pakcs/lib/KeyDatabase.curry
/usr/lib/pakcs/lib/KeyDatabaseSQLite.curry
/usr/lib/pakcs/lib/List.curry
/usr/lib/pakcs/lib/Mail.curry
/usr/lib/pakcs/lib/Makefile
/usr/lib/pakcs/lib/Markdown.curry
/usr/lib/pakcs/lib/Maybe.curry
/usr/lib/pakcs/lib/NamedSocket.curry
/usr/lib/pakcs/lib/Nat.curry
/usr/lib/pakcs/lib/Parser.curry
/usr/lib/pakcs/lib/PlProfileData.curry
/usr/lib/pakcs/lib/PlProfileData.prim_c2p
/usr/lib/pakcs/lib/Ports.curry
/usr/lib/pakcs/lib/Ports.prim_c2p
/usr/lib/pakcs/lib/Prelude.curry
/usr/lib/pakcs/lib/Prelude.prim_c2p
/usr/lib/pakcs/lib/Pretty.curry
/usr/lib/pakcs/lib/Profile.curry
/usr/lib/pakcs/lib/Profile.prim_c2p
/usr/lib/pakcs/lib/Prolog.curry
/usr/lib/pakcs/lib/PropertyFile.curry
/usr/lib/pakcs/lib/Random.curry
/usr/lib/pakcs/lib/Read.curry
/usr/lib/pakcs/lib/ReadNumeric.curry
/usr/lib/pakcs/lib/ReadShowTerm.curry
/usr/lib/pakcs/lib/ReadShowTerm.prim_c2p
/usr/lib/pakcs/lib/RedBlackTree.curry
/usr/lib/pakcs/lib/RegExp.curry
/usr/lib/pakcs/lib/SCC.curry
/usr/lib/pakcs/lib/SearchTree.curry
/usr/lib/pakcs/lib/SearchTreeGenerators.curry
/usr/lib/pakcs/lib/SearchTreeTraversal.curry
/usr/lib/pakcs/lib/SetFunctions.curry
/usr/lib/pakcs/lib/SetRBT.curry
/usr/lib/pakcs/lib/ShowS.curry
/usr/lib/pakcs/lib/Socket.curry
/usr/lib/pakcs/lib/Socket.prim_c2p
/usr/lib/pakcs/lib/Sort.curry
/usr/lib/pakcs/lib/State.curry
/usr/lib/pakcs/lib/System.curry
/usr/lib/pakcs/lib/System.prim_c2p
/usr/lib/pakcs/lib/TableRBT.curry
/usr/lib/pakcs/lib/Time.curry
/usr/lib/pakcs/lib/Time.prim_c2p
/usr/lib/pakcs/lib/Traversal.curry
/usr/lib/pakcs/lib/URL.curry
/usr/lib/pakcs/lib/Unsafe.curry
/usr/lib/pakcs/lib/Unsafe.prim_c2p
/usr/lib/pakcs/lib/ValueSequence.curry
/usr/lib/pakcs/lib/WUI.curry
/usr/lib/pakcs/lib/WUIjs.curry
/usr/lib/pakcs/lib/XML.curry
/usr/lib/pakcs/lib/XmlConv.curry
/usr/lib/pakcs/lib/test.sh
/usr/lib/pakcs/lib/.curry/AllLibraries.fcy
/usr/lib/pakcs/lib/.curry/AllLibraries.fint
/usr/lib/pakcs/lib/.curry/AllLibraries.icurry
/usr/lib/pakcs/lib/.curry/AllSolutions.acy
/usr/lib/pakcs/lib/.curry/AllSolutions.fcy
/usr/lib/pakcs/lib/.curry/AllSolutions.fint
/usr/lib/pakcs/lib/.curry/AllSolutions.icurry
/usr/lib/pakcs/lib/.curry/AnsiCodes.acy
/usr/lib/pakcs/lib/.curry/AnsiCodes.fcy
/usr/lib/pakcs/lib/.curry/AnsiCodes.fint
/usr/lib/pakcs/lib/.curry/AnsiCodes.icurry
/usr/lib/pakcs/lib/.curry/Array.acy
/usr/lib/pakcs/lib/.curry/Array.fcy
/usr/lib/pakcs/lib/.curry/Array.fint
/usr/lib/pakcs/lib/.curry/Array.icurry
/usr/lib/pakcs/lib/.curry/Assertion.acy
/usr/lib/pakcs/lib/.curry/Assertion.fcy
/usr/lib/pakcs/lib/.curry/Assertion.fint
/usr/lib/pakcs/lib/.curry/Assertion.icurry
/usr/lib/pakcs/lib/.curry/Bootstrap3Style.acy
/usr/lib/pakcs/lib/.curry/Bootstrap3Style.fcy
/usr/lib/pakcs/lib/.curry/Bootstrap3Style.fint
/usr/lib/pakcs/lib/.curry/Bootstrap3Style.icurry
/usr/lib/pakcs/lib/.curry/CHR.acy
/usr/lib/pakcs/lib/.curry/CHR.fcy
/usr/lib/pakcs/lib/.curry/CHR.fint
/usr/lib/pakcs/lib/.curry/CHR.icurry
/usr/lib/pakcs/lib/.curry/CHRcompiled.acy
/usr/lib/pakcs/lib/.curry/CHRcompiled.fcy
/usr/lib/pakcs/lib/.curry/CHRcompiled.fint
/usr/lib/pakcs/lib/.curry/CHRcompiled.icurry
/usr/lib/pakcs/lib/.curry/CLPB.acy
/usr/lib/pakcs/lib/.curry/CLPB.fcy
/usr/lib/pakcs/lib/.curry/CLPB.fint
/usr/lib/pakcs/lib/.curry/CLPB.icurry
/usr/lib/pakcs/lib/.curry/CLPFD.acy
/usr/lib/pakcs/lib/.curry/CLPFD.fcy
/usr/lib/pakcs/lib/.curry/CLPFD.fint
/usr/lib/pakcs/lib/.curry/CLPFD.icurry
/usr/lib/pakcs/lib/.curry/CLPR.acy
/usr/lib/pakcs/lib/.curry/CLPR.fcy
/usr/lib/pakcs/lib/.curry/CLPR.fint
/usr/lib/pakcs/lib/.curry/CLPR.icurry
/usr/lib/pakcs/lib/.curry/CPNS.acy
/usr/lib/pakcs/lib/.curry/CPNS.fcy
/usr/lib/pakcs/lib/.curry/CPNS.fint
/usr/lib/pakcs/lib/.curry/CPNS.icurry
/usr/lib/pakcs/lib/.curry/CSV.acy
/usr/lib/pakcs/lib/.curry/CSV.fcy
/usr/lib/pakcs/lib/.curry/CSV.fint
/usr/lib/pakcs/lib/.curry/CSV.icurry
/usr/lib/pakcs/lib/.curry/CategorizedHtmlList.acy
/usr/lib/pakcs/lib/.curry/CategorizedHtmlList.fcy
/usr/lib/pakcs/lib/.curry/CategorizedHtmlList.fint
/usr/lib/pakcs/lib/.curry/CategorizedHtmlList.icurry
/usr/lib/pakcs/lib/.curry/Char.acy
/usr/lib/pakcs/lib/.curry/Char.fcy
/usr/lib/pakcs/lib/.curry/Char.fint
/usr/lib/pakcs/lib/.curry/Char.icurry
/usr/lib/pakcs/lib/.curry/Combinatorial.acy
/usr/lib/pakcs/lib/.curry/Combinatorial.fcy
/usr/lib/pakcs/lib/.curry/Combinatorial.fint
/usr/lib/pakcs/lib/.curry/Combinatorial.icurry
/usr/lib/pakcs/lib/.curry/CurryStringClassifier.acy
/usr/lib/pakcs/lib/.curry/CurryStringClassifier.fcy
/usr/lib/pakcs/lib/.curry/CurryStringClassifier.fint
/usr/lib/pakcs/lib/.curry/CurryStringClassifier.icurry
/usr/lib/pakcs/lib/.curry/Database.acy
/usr/lib/pakcs/lib/.curry/Database.fcy
/usr/lib/pakcs/lib/.curry/Database.fint
/usr/lib/pakcs/lib/.curry/Database.icurry
/usr/lib/pakcs/lib/.curry/Debug.acy
/usr/lib/pakcs/lib/.curry/Debug.fcy
/usr/lib/pakcs/lib/.curry/Debug.fint
/usr/lib/pakcs/lib/.curry/Debug.icurry
/usr/lib/pakcs/lib/.curry/Dequeue.acy
/usr/lib/pakcs/lib/.curry/Dequeue.fcy
/usr/lib/pakcs/lib/.curry/Dequeue.fint
/usr/lib/pakcs/lib/.curry/Dequeue.icurry
/usr/lib/pakcs/lib/.curry/Directory.acy
/usr/lib/pakcs/lib/.curry/Directory.fcy
/usr/lib/pakcs/lib/.curry/Directory.fint
/usr/lib/pakcs/lib/.curry/Directory.icurry
/usr/lib/pakcs/lib/.curry/Distribution.acy
/usr/lib/pakcs/lib/.curry/Distribution.fcy
/usr/lib/pakcs/lib/.curry/Distribution.fint
/usr/lib/pakcs/lib/.curry/Distribution.icurry
/usr/lib/pakcs/lib/.curry/Dynamic.acy
/usr/lib/pakcs/lib/.curry/Dynamic.fcy
/usr/lib/pakcs/lib/.curry/Dynamic.fint
/usr/lib/pakcs/lib/.curry/Dynamic.icurry
/usr/lib/pakcs/lib/.curry/Either.acy
/usr/lib/pakcs/lib/.curry/Either.fcy
/usr/lib/pakcs/lib/.curry/Either.fint
/usr/lib/pakcs/lib/.curry/Either.icurry
/usr/lib/pakcs/lib/.curry/ErrorState.acy
/usr/lib/pakcs/lib/.curry/ErrorState.fcy
/usr/lib/pakcs/lib/.curry/ErrorState.fint
/usr/lib/pakcs/lib/.curry/ErrorState.icurry
/usr/lib/pakcs/lib/.curry/FileGoodies.acy
/usr/lib/pakcs/lib/.curry/FileGoodies.fcy
/usr/lib/pakcs/lib/.curry/FileGoodies.fint
/usr/lib/pakcs/lib/.curry/FileGoodies.icurry
/usr/lib/pakcs/lib/.curry/FilePath.acy
/usr/lib/pakcs/lib/.curry/FilePath.fcy
/usr/lib/pakcs/lib/.curry/FilePath.fint
/usr/lib/pakcs/lib/.curry/FilePath.icurry
/usr/lib/pakcs/lib/.curry/Findall.acy
/usr/lib/pakcs/lib/.curry/Findall.fcy
/usr/lib/pakcs/lib/.curry/Findall.fint
/usr/lib/pakcs/lib/.curry/Findall.icurry
/usr/lib/pakcs/lib/.curry/FiniteMap.acy
/usr/lib/pakcs/lib/.curry/FiniteMap.fcy
/usr/lib/pakcs/lib/.curry/FiniteMap.fint
/usr/lib/pakcs/lib/.curry/FiniteMap.icurry
/usr/lib/pakcs/lib/.curry/Float.acy
/usr/lib/pakcs/lib/.curry/Float.fcy
/usr/lib/pakcs/lib/.curry/Float.fint
/usr/lib/pakcs/lib/.curry/Float.icurry
/usr/lib/pakcs/lib/.curry/Format.acy
/usr/lib/pakcs/lib/.curry/Format.fcy
/usr/lib/pakcs/lib/.curry/Format.fint
/usr/lib/pakcs/lib/.curry/Format.icurry
/usr/lib/pakcs/lib/.curry/Function.acy
/usr/lib/pakcs/lib/.curry/Function.fcy
/usr/lib/pakcs/lib/.curry/Function.fint
/usr/lib/pakcs/lib/.curry/Function.icurry
/usr/lib/pakcs/lib/.curry/FunctionInversion.acy
/usr/lib/pakcs/lib/.curry/FunctionInversion.fcy
/usr/lib/pakcs/lib/.curry/FunctionInversion.fint
/usr/lib/pakcs/lib/.curry/FunctionInversion.icurry
/usr/lib/pakcs/lib/.curry/GUI.acy
/usr/lib/pakcs/lib/.curry/GUI.fcy
/usr/lib/pakcs/lib/.curry/GUI.fint
/usr/lib/pakcs/lib/.curry/GUI.icurry
/usr/lib/pakcs/lib/.curry/GetOpt.acy
/usr/lib/pakcs/lib/.curry/GetOpt.fcy
/usr/lib/pakcs/lib/.curry/GetOpt.fint
/usr/lib/pakcs/lib/.curry/GetOpt.icurry
/usr/lib/pakcs/lib/.curry/Global.acy
/usr/lib/pakcs/lib/.curry/Global.fcy
/usr/lib/pakcs/lib/.curry/Global.fint
/usr/lib/pakcs/lib/.curry/Global.icurry
/usr/lib/pakcs/lib/.curry/GlobalVariable.acy
/usr/lib/pakcs/lib/.curry/GlobalVariable.fcy
/usr/lib/pakcs/lib/.curry/GlobalVariable.fint
/usr/lib/pakcs/lib/.curry/GlobalVariable.icurry
/usr/lib/pakcs/lib/.curry/GraphInductive.acy
/usr/lib/pakcs/lib/.curry/GraphInductive.fcy
/usr/lib/pakcs/lib/.curry/GraphInductive.fint
/usr/lib/pakcs/lib/.curry/GraphInductive.icurry
/usr/lib/pakcs/lib/.curry/HTML.acy
/usr/lib/pakcs/lib/.curry/HTML.fcy
/usr/lib/pakcs/lib/.curry/HTML.fint
/usr/lib/pakcs/lib/.curry/HTML.icurry
/usr/lib/pakcs/lib/.curry/HtmlCgi.acy
/usr/lib/pakcs/lib/.curry/HtmlCgi.fcy
/usr/lib/pakcs/lib/.curry/HtmlCgi.fint
/usr/lib/pakcs/lib/.curry/HtmlCgi.icurry
/usr/lib/pakcs/lib/.curry/HtmlParser.acy
/usr/lib/pakcs/lib/.curry/HtmlParser.fcy
/usr/lib/pakcs/lib/.curry/HtmlParser.fint
/usr/lib/pakcs/lib/.curry/HtmlParser.icurry
/usr/lib/pakcs/lib/.curry/IO.acy
/usr/lib/pakcs/lib/.curry/IO.fcy
/usr/lib/pakcs/lib/.curry/IO.fint
/usr/lib/pakcs/lib/.curry/IO.icurry
/usr/lib/pakcs/lib/.curry/IOExts.acy
/usr/lib/pakcs/lib/.curry/IOExts.fcy
/usr/lib/pakcs/lib/.curry/IOExts.fint
/usr/lib/pakcs/lib/.curry/IOExts.icurry
/usr/lib/pakcs/lib/.curry/Integer.acy
/usr/lib/pakcs/lib/.curry/Integer.fcy
/usr/lib/pakcs/lib/.curry/Integer.fint
/usr/lib/pakcs/lib/.curry/Integer.icurry
/usr/lib/pakcs/lib/.curry/JavaScript.acy
/usr/lib/pakcs/lib/.curry/JavaScript.fcy
/usr/lib/pakcs/lib/.curry/JavaScript.fint
/usr/lib/pakcs/lib/.curry/JavaScript.icurry
/usr/lib/pakcs/lib/.curry/KeyDB.acy
/usr/lib/pakcs/lib/.curry/KeyDB.fcy
/usr/lib/pakcs/lib/.curry/KeyDB.fint
/usr/lib/pakcs/lib/.curry/KeyDB.icurry
/usr/lib/pakcs/lib/.curry/KeyDatabase.acy
/usr/lib/pakcs/lib/.curry/KeyDatabase.fcy
/usr/lib/pakcs/lib/.curry/KeyDatabase.fint
/usr/lib/pakcs/lib/.curry/KeyDatabase.icurry
/usr/lib/pakcs/lib/.curry/KeyDatabaseSQLite.acy
/usr/lib/pakcs/lib/.curry/KeyDatabaseSQLite.fcy
/usr/lib/pakcs/lib/.curry/KeyDatabaseSQLite.fint
/usr/lib/pakcs/lib/.curry/KeyDatabaseSQLite.icurry
/usr/lib/pakcs/lib/.curry/List.acy
/usr/lib/pakcs/lib/.curry/List.fcy
/usr/lib/pakcs/lib/.curry/List.fint
/usr/lib/pakcs/lib/.curry/List.icurry
/usr/lib/pakcs/lib/.curry/Mail.acy
/usr/lib/pakcs/lib/.curry/Mail.fcy
/usr/lib/pakcs/lib/.curry/Mail.fint
/usr/lib/pakcs/lib/.curry/Mail.icurry
/usr/lib/pakcs/lib/.curry/Markdown.acy
/usr/lib/pakcs/lib/.curry/Markdown.fcy
/usr/lib/pakcs/lib/.curry/Markdown.fint
/usr/lib/pakcs/lib/.curry/Markdown.icurry
/usr/lib/pakcs/lib/.curry/Maybe.acy
/usr/lib/pakcs/lib/.curry/Maybe.fcy
/usr/lib/pakcs/lib/.curry/Maybe.fint
/usr/lib/pakcs/lib/.curry/Maybe.icurry
/usr/lib/pakcs/lib/.curry/NamedSocket.acy
/usr/lib/pakcs/lib/.curry/NamedSocket.fcy
/usr/lib/pakcs/lib/.curry/NamedSocket.fint
/usr/lib/pakcs/lib/.curry/NamedSocket.icurry
/usr/lib/pakcs/lib/.curry/Nat.acy
/usr/lib/pakcs/lib/.curry/Nat.fcy
/usr/lib/pakcs/lib/.curry/Nat.fint
/usr/lib/pakcs/lib/.curry/Nat.icurry
/usr/lib/pakcs/lib/.curry/Parser.acy
/usr/lib/pakcs/lib/.curry/Parser.fcy
/usr/lib/pakcs/lib/.curry/Parser.fint
/usr/lib/pakcs/lib/.curry/Parser.icurry
/usr/lib/pakcs/lib/.curry/PlProfileData.acy
/usr/lib/pakcs/lib/.curry/PlProfileData.fcy
/usr/lib/pakcs/lib/.curry/PlProfileData.fint
/usr/lib/pakcs/lib/.curry/PlProfileData.icurry
/usr/lib/pakcs/lib/.curry/Ports.acy
/usr/lib/pakcs/lib/.curry/Ports.fcy
/usr/lib/pakcs/lib/.curry/Ports.fint
/usr/lib/pakcs/lib/.curry/Ports.icurry
/usr/lib/pakcs/lib/.curry/Prelude.acy
/usr/lib/pakcs/lib/.curry/Prelude.fcy
/usr/lib/pakcs/lib/.curry/Prelude.fint
/usr/lib/pakcs/lib/.curry/Prelude.icurry
/usr/lib/pakcs/lib/.curry/Pretty.acy
/usr/lib/pakcs/lib/.curry/Pretty.fcy
/usr/lib/pakcs/lib/.curry/Pretty.fint
/usr/lib/pakcs/lib/.curry/Pretty.icurry
/usr/lib/pakcs/lib/.curry/Profile.acy
/usr/lib/pakcs/lib/.curry/Profile.fcy
/usr/lib/pakcs/lib/.curry/Profile.fint
/usr/lib/pakcs/lib/.curry/Profile.icurry
/usr/lib/pakcs/lib/.curry/Prolog.acy
/usr/lib/pakcs/lib/.curry/Prolog.fcy
/usr/lib/pakcs/lib/.curry/Prolog.fint
/usr/lib/pakcs/lib/.curry/Prolog.icurry
/usr/lib/pakcs/lib/.curry/PropertyFile.acy
/usr/lib/pakcs/lib/.curry/PropertyFile.fcy
/usr/lib/pakcs/lib/.curry/PropertyFile.fint
/usr/lib/pakcs/lib/.curry/PropertyFile.icurry
/usr/lib/pakcs/lib/.curry/Random.acy
/usr/lib/pakcs/lib/.curry/Random.fcy
/usr/lib/pakcs/lib/.curry/Random.fint
/usr/lib/pakcs/lib/.curry/Random.icurry
/usr/lib/pakcs/lib/.curry/Read.acy
/usr/lib/pakcs/lib/.curry/Read.fcy
/usr/lib/pakcs/lib/.curry/Read.fint
/usr/lib/pakcs/lib/.curry/Read.icurry
/usr/lib/pakcs/lib/.curry/ReadNumeric.acy
/usr/lib/pakcs/lib/.curry/ReadNumeric.fcy
/usr/lib/pakcs/lib/.curry/ReadNumeric.fint
/usr/lib/pakcs/lib/.curry/ReadNumeric.icurry
/usr/lib/pakcs/lib/.curry/ReadShowTerm.acy
/usr/lib/pakcs/lib/.curry/ReadShowTerm.fcy
/usr/lib/pakcs/lib/.curry/ReadShowTerm.fint
/usr/lib/pakcs/lib/.curry/ReadShowTerm.icurry
/usr/lib/pakcs/lib/.curry/RedBlackTree.acy
/usr/lib/pakcs/lib/.curry/RedBlackTree.fcy
/usr/lib/pakcs/lib/.curry/RedBlackTree.fint
/usr/lib/pakcs/lib/.curry/RedBlackTree.icurry
/usr/lib/pakcs/lib/.curry/RegExp.acy
/usr/lib/pakcs/lib/.curry/RegExp.fcy
/usr/lib/pakcs/lib/.curry/RegExp.fint
/usr/lib/pakcs/lib/.curry/RegExp.icurry
/usr/lib/pakcs/lib/.curry/SCC.acy
/usr/lib/pakcs/lib/.curry/SCC.fcy
/usr/lib/pakcs/lib/.curry/SCC.fint
/usr/lib/pakcs/lib/.curry/SCC.icurry
/usr/lib/pakcs/lib/.curry/SearchTree.acy
/usr/lib/pakcs/lib/.curry/SearchTree.fcy
/usr/lib/pakcs/lib/.curry/SearchTree.fint
/usr/lib/pakcs/lib/.curry/SearchTree.icurry
/usr/lib/pakcs/lib/.curry/SearchTreeGenerators.acy
/usr/lib/pakcs/lib/.curry/SearchTreeGenerators.fcy
/usr/lib/pakcs/lib/.curry/SearchTreeGenerators.fint
/usr/lib/pakcs/lib/.curry/SearchTreeGenerators.icurry
/usr/lib/pakcs/lib/.curry/SearchTreeTraversal.acy
/usr/lib/pakcs/lib/.curry/SearchTreeTraversal.fcy
/usr/lib/pakcs/lib/.curry/SearchTreeTraversal.fint
/usr/lib/pakcs/lib/.curry/SearchTreeTraversal.icurry
/usr/lib/pakcs/lib/.curry/SetFunctions.acy
/usr/lib/pakcs/lib/.curry/SetFunctions.fcy
/usr/lib/pakcs/lib/.curry/SetFunctions.fint
/usr/lib/pakcs/lib/.curry/SetFunctions.icurry
/usr/lib/pakcs/lib/.curry/SetRBT.acy
/usr/lib/pakcs/lib/.curry/SetRBT.fcy
/usr/lib/pakcs/lib/.curry/SetRBT.fint
/usr/lib/pakcs/lib/.curry/SetRBT.icurry
/usr/lib/pakcs/lib/.curry/ShowS.acy
/usr/lib/pakcs/lib/.curry/ShowS.fcy
/usr/lib/pakcs/lib/.curry/ShowS.fint
/usr/lib/pakcs/lib/.curry/ShowS.icurry
/usr/lib/pakcs/lib/.curry/Socket.acy
/usr/lib/pakcs/lib/.curry/Socket.fcy
/usr/lib/pakcs/lib/.curry/Socket.fint
/usr/lib/pakcs/lib/.curry/Socket.icurry
/usr/lib/pakcs/lib/.curry/Sort.acy
/usr/lib/pakcs/lib/.curry/Sort.fcy
/usr/lib/pakcs/lib/.curry/Sort.fint
/usr/lib/pakcs/lib/.curry/Sort.icurry
/usr/lib/pakcs/lib/.curry/State.acy
/usr/lib/pakcs/lib/.curry/State.fcy
/usr/lib/pakcs/lib/.curry/State.fint
/usr/lib/pakcs/lib/.curry/State.icurry
/usr/lib/pakcs/lib/.curry/System.acy
/usr/lib/pakcs/lib/.curry/System.fcy
/usr/lib/pakcs/lib/.curry/System.fint
/usr/lib/pakcs/lib/.curry/System.icurry
/usr/lib/pakcs/lib/.curry/TableRBT.acy
/usr/lib/pakcs/lib/.curry/TableRBT.fcy
/usr/lib/pakcs/lib/.curry/TableRBT.fint
/usr/lib/pakcs/lib/.curry/TableRBT.icurry
/usr/lib/pakcs/lib/.curry/Time.acy
/usr/lib/pakcs/lib/.curry/Time.fcy
/usr/lib/pakcs/lib/.curry/Time.fint
/usr/lib/pakcs/lib/.curry/Time.icurry
/usr/lib/pakcs/lib/.curry/Traversal.acy
/usr/lib/pakcs/lib/.curry/Traversal.fcy
/usr/lib/pakcs/lib/.curry/Traversal.fint
/usr/lib/pakcs/lib/.curry/Traversal.icurry
/usr/lib/pakcs/lib/.curry/URL.acy
/usr/lib/pakcs/lib/.curry/URL.fcy
/usr/lib/pakcs/lib/.curry/URL.fint
/usr/lib/pakcs/lib/.curry/URL.icurry
/usr/lib/pakcs/lib/.curry/Unsafe.acy
/usr/lib/pakcs/lib/.curry/Unsafe.fcy
/usr/lib/pakcs/lib/.curry/Unsafe.fint
/usr/lib/pakcs/lib/.curry/Unsafe.icurry
/usr/lib/pakcs/lib/.curry/ValueSequence.acy
/usr/lib/pakcs/lib/.curry/ValueSequence.fcy
/usr/lib/pakcs/lib/.curry/ValueSequence.fint
/usr/lib/pakcs/lib/.curry/ValueSequence.icurry
/usr/lib/pakcs/lib/.curry/WUI.acy
/usr/lib/pakcs/lib/.curry/WUI.fcy
/usr/lib/pakcs/lib/.curry/WUI.fint
/usr/lib/pakcs/lib/.curry/WUI.icurry
/usr/lib/pakcs/lib/.curry/WUIjs.acy
/usr/lib/pakcs/lib/.curry/WUIjs.fcy
/usr/lib/pakcs/lib/.curry/WUIjs.fint
/usr/lib/pakcs/lib/.curry/WUIjs.icurry
/usr/lib/pakcs/lib/.curry/XML.acy
/usr/lib/pakcs/lib/.curry/XML.fcy
/usr/lib/pakcs/lib/.curry/XML.fint
/usr/lib/pakcs/lib/.curry/XML.icurry
/usr/lib/pakcs/lib/.curry/XmlConv.acy
/usr/lib/pakcs/lib/.curry/XmlConv.fcy
/usr/lib/pakcs/lib/.curry/XmlConv.fint
/usr/lib/pakcs/lib/.curry/XmlConv.icurry
/usr/lib/pakcs/lib/.curry/AbstractCurry/Build.acy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Build.fcy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Build.fint
/usr/lib/pakcs/lib/.curry/AbstractCurry/Build.icurry
/usr/lib/pakcs/lib/.curry/AbstractCurry/Files.acy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Files.fcy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Files.fint
/usr/lib/pakcs/lib/.curry/AbstractCurry/Files.icurry
/usr/lib/pakcs/lib/.curry/AbstractCurry/Pretty.acy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Pretty.fcy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Pretty.fint
/usr/lib/pakcs/lib/.curry/AbstractCurry/Pretty.icurry
/usr/lib/pakcs/lib/.curry/AbstractCurry/Select.acy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Select.fcy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Select.fint
/usr/lib/pakcs/lib/.curry/AbstractCurry/Select.icurry
/usr/lib/pakcs/lib/.curry/AbstractCurry/Transform.acy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Transform.fcy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Transform.fint
/usr/lib/pakcs/lib/.curry/AbstractCurry/Transform.icurry
/usr/lib/pakcs/lib/.curry/AbstractCurry/Types.acy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Types.fcy
/usr/lib/pakcs/lib/.curry/AbstractCurry/Types.fint
/usr/lib/pakcs/lib/.curry/AbstractCurry/Types.icurry
/usr/lib/pakcs/lib/.curry/CLP/FD.acy
/usr/lib/pakcs/lib/.curry/CLP/FD.fcy
/usr/lib/pakcs/lib/.curry/CLP/FD.fint
/usr/lib/pakcs/lib/.curry/CLP/FD.icurry
/usr/lib/pakcs/lib/.curry/Database/ERD.acy
/usr/lib/pakcs/lib/.curry/Database/ERD.fcy
/usr/lib/pakcs/lib/.curry/Database/ERD.fint
/usr/lib/pakcs/lib/.curry/Database/ERD.icurry
/usr/lib/pakcs/lib/.curry/Database/ERDGoodies.acy
/usr/lib/pakcs/lib/.curry/Database/ERDGoodies.fcy
/usr/lib/pakcs/lib/.curry/Database/ERDGoodies.fint
/usr/lib/pakcs/lib/.curry/Database/ERDGoodies.icurry
/usr/lib/pakcs/lib/.curry/Database/CDBI/Connection.acy
/usr/lib/pakcs/lib/.curry/Database/CDBI/Connection.fcy
/usr/lib/pakcs/lib/.curry/Database/CDBI/Connection.fint
/usr/lib/pakcs/lib/.curry/Database/CDBI/Connection.icurry
/usr/lib/pakcs/lib/.curry/Database/CDBI/Criteria.acy
/usr/lib/pakcs/lib/.curry/Database/CDBI/Criteria.fcy
/usr/lib/pakcs/lib/.curry/Database/CDBI/Criteria.fint
/usr/lib/pakcs/lib/.curry/Database/CDBI/Criteria.icurry
/usr/lib/pakcs/lib/.curry/Database/CDBI/Description.acy
/usr/lib/pakcs/lib/.curry/Database/CDBI/Description.fcy
/usr/lib/pakcs/lib/.curry/Database/CDBI/Description.fint
/usr/lib/pakcs/lib/.curry/Database/CDBI/Description.icurry
/usr/lib/pakcs/lib/.curry/Database/CDBI/ER.acy
/usr/lib/pakcs/lib/.curry/Database/CDBI/ER.fcy
/usr/lib/pakcs/lib/.curry/Database/CDBI/ER.fint
/usr/lib/pakcs/lib/.curry/Database/CDBI/ER.icurry
/usr/lib/pakcs/lib/.curry/Database/CDBI/QueryTypes.acy
/usr/lib/pakcs/lib/.curry/Database/CDBI/QueryTypes.fcy
/usr/lib/pakcs/lib/.curry/Database/CDBI/QueryTypes.fint
/usr/lib/pakcs/lib/.curry/Database/CDBI/QueryTypes.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Compact.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Compact.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Compact.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Compact.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Files.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Files.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Files.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Files.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/FlexRigid.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/FlexRigid.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/FlexRigid.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/FlexRigid.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Goodies.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Goodies.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Goodies.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Goodies.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Pretty.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Pretty.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Pretty.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Pretty.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Read.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Read.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Read.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Read.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Show.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Show.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Show.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Show.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Types.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Types.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Types.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Types.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/XML.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/XML.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/XML.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/XML.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Goodies.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Goodies.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Goodies.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Goodies.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Pretty.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Pretty.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Pretty.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Pretty.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeInference.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeInference.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeInference.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeInference.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeSubst.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeSubst.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeSubst.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/TypeSubst.icurry
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Types.acy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Types.fcy
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Types.fint
/usr/lib/pakcs/lib/.curry/FlatCurry/Annotated/Types.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/CriticalPairs.acy
/usr/lib/pakcs/lib/.curry/Rewriting/CriticalPairs.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/CriticalPairs.fint
/usr/lib/pakcs/lib/.curry/Rewriting/CriticalPairs.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/DefinitionalTree.acy
/usr/lib/pakcs/lib/.curry/Rewriting/DefinitionalTree.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/DefinitionalTree.fint
/usr/lib/pakcs/lib/.curry/Rewriting/DefinitionalTree.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Files.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Files.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Files.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Files.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Narrowing.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Narrowing.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Narrowing.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Narrowing.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Position.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Position.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Position.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Position.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Rules.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Rules.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Rules.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Rules.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Strategy.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Strategy.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Strategy.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Strategy.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Substitution.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Substitution.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Substitution.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Substitution.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Term.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Term.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Term.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Term.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/Unification.acy
/usr/lib/pakcs/lib/.curry/Rewriting/Unification.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/Unification.fint
/usr/lib/pakcs/lib/.curry/Rewriting/Unification.icurry
/usr/lib/pakcs/lib/.curry/Rewriting/UnificationSpec.acy
/usr/lib/pakcs/lib/.curry/Rewriting/UnificationSpec.fcy
/usr/lib/pakcs/lib/.curry/Rewriting/UnificationSpec.fint
/usr/lib/pakcs/lib/.curry/Rewriting/UnificationSpec.icurry
/usr/lib/pakcs/lib/.curry/Test/Contract.acy
/usr/lib/pakcs/lib/.curry/Test/Contract.fcy
/usr/lib/pakcs/lib/.curry/Test/Contract.fint
/usr/lib/pakcs/lib/.curry/Test/Contract.icurry
/usr/lib/pakcs/lib/.curry/Test/EasyCheck.acy
/usr/lib/pakcs/lib/.curry/Test/EasyCheck.fcy
/usr/lib/pakcs/lib/.curry/Test/EasyCheck.fint
/usr/lib/pakcs/lib/.curry/Test/EasyCheck.icurry
/usr/lib/pakcs/lib/.curry/Test/EasyCheckExec.acy
/usr/lib/pakcs/lib/.curry/Test/EasyCheckExec.fcy
/usr/lib/pakcs/lib/.curry/Test/EasyCheckExec.fint
/usr/lib/pakcs/lib/.curry/Test/EasyCheckExec.icurry
/usr/lib/pakcs/lib/.curry/Test/Prop.acy
/usr/lib/pakcs/lib/.curry/Test/Prop.fcy
/usr/lib/pakcs/lib/.curry/Test/Prop.fint
/usr/lib/pakcs/lib/.curry/Test/Prop.icurry
/usr/lib/pakcs/lib/.curry/pakcs/AllLibraries.pl
/usr/lib/pakcs/lib/.curry/pakcs/AllSolutions.pl
/usr/lib/pakcs/lib/.curry/pakcs/AnsiCodes.pl
/usr/lib/pakcs/lib/.curry/pakcs/Array.pl
/usr/lib/pakcs/lib/.curry/pakcs/Assertion.pl
/usr/lib/pakcs/lib/.curry/pakcs/Bootstrap3Style.pl
/usr/lib/pakcs/lib/.curry/pakcs/CHR.pl
/usr/lib/pakcs/lib/.curry/pakcs/CHRcompiled.pl
/usr/lib/pakcs/lib/.curry/pakcs/CLPB.pl
/usr/lib/pakcs/lib/.curry/pakcs/CLPFD.pl
/usr/lib/pakcs/lib/.curry/pakcs/CLPR.pl
/usr/lib/pakcs/lib/.curry/pakcs/CPNS.pl
/usr/lib/pakcs/lib/.curry/pakcs/CSV.pl
/usr/lib/pakcs/lib/.curry/pakcs/CategorizedHtmlList.pl
/usr/lib/pakcs/lib/.curry/pakcs/Char.pl
/usr/lib/pakcs/lib/.curry/pakcs/Combinatorial.pl
/usr/lib/pakcs/lib/.curry/pakcs/CurryStringClassifier.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database.pl
/usr/lib/pakcs/lib/.curry/pakcs/Debug.pl
/usr/lib/pakcs/lib/.curry/pakcs/Dequeue.pl
/usr/lib/pakcs/lib/.curry/pakcs/Directory.pl
/usr/lib/pakcs/lib/.curry/pakcs/Distribution.pl
/usr/lib/pakcs/lib/.curry/pakcs/Dynamic.pl
/usr/lib/pakcs/lib/.curry/pakcs/Either.pl
/usr/lib/pakcs/lib/.curry/pakcs/ErrorState.pl
/usr/lib/pakcs/lib/.curry/pakcs/FileGoodies.pl
/usr/lib/pakcs/lib/.curry/pakcs/FilePath.pl
/usr/lib/pakcs/lib/.curry/pakcs/Findall.pl
/usr/lib/pakcs/lib/.curry/pakcs/FiniteMap.pl
/usr/lib/pakcs/lib/.curry/pakcs/Float.pl
/usr/lib/pakcs/lib/.curry/pakcs/Format.pl
/usr/lib/pakcs/lib/.curry/pakcs/Function.pl
/usr/lib/pakcs/lib/.curry/pakcs/FunctionInversion.pl
/usr/lib/pakcs/lib/.curry/pakcs/GUI.pl
/usr/lib/pakcs/lib/.curry/pakcs/GetOpt.pl
/usr/lib/pakcs/lib/.curry/pakcs/Global.pl
/usr/lib/pakcs/lib/.curry/pakcs/GlobalVariable.pl
/usr/lib/pakcs/lib/.curry/pakcs/GraphInductive.pl
/usr/lib/pakcs/lib/.curry/pakcs/HTML.pl
/usr/lib/pakcs/lib/.curry/pakcs/HtmlCgi.pl
/usr/lib/pakcs/lib/.curry/pakcs/HtmlParser.pl
/usr/lib/pakcs/lib/.curry/pakcs/IO.pl
/usr/lib/pakcs/lib/.curry/pakcs/IOExts.pl
/usr/lib/pakcs/lib/.curry/pakcs/Integer.pl
/usr/lib/pakcs/lib/.curry/pakcs/JavaScript.pl
/usr/lib/pakcs/lib/.curry/pakcs/KeyDB.pl
/usr/lib/pakcs/lib/.curry/pakcs/KeyDatabase.pl
/usr/lib/pakcs/lib/.curry/pakcs/KeyDatabaseSQLite.pl
/usr/lib/pakcs/lib/.curry/pakcs/List.pl
/usr/lib/pakcs/lib/.curry/pakcs/Mail.pl
/usr/lib/pakcs/lib/.curry/pakcs/Markdown.pl
/usr/lib/pakcs/lib/.curry/pakcs/Maybe.pl
/usr/lib/pakcs/lib/.curry/pakcs/NamedSocket.pl
/usr/lib/pakcs/lib/.curry/pakcs/Nat.pl
/usr/lib/pakcs/lib/.curry/pakcs/Parser.pl
/usr/lib/pakcs/lib/.curry/pakcs/PlProfileData.pl
/usr/lib/pakcs/lib/.curry/pakcs/Ports.pl
/usr/lib/pakcs/lib/.curry/pakcs/Prelude.pl
/usr/lib/pakcs/lib/.curry/pakcs/Pretty.pl
/usr/lib/pakcs/lib/.curry/pakcs/Profile.pl
/usr/lib/pakcs/lib/.curry/pakcs/Prolog.pl
/usr/lib/pakcs/lib/.curry/pakcs/PropertyFile.pl
/usr/lib/pakcs/lib/.curry/pakcs/Random.pl
/usr/lib/pakcs/lib/.curry/pakcs/Read.pl
/usr/lib/pakcs/lib/.curry/pakcs/ReadNumeric.pl
/usr/lib/pakcs/lib/.curry/pakcs/ReadShowTerm.pl
/usr/lib/pakcs/lib/.curry/pakcs/RedBlackTree.pl
/usr/lib/pakcs/lib/.curry/pakcs/RegExp.pl
/usr/lib/pakcs/lib/.curry/pakcs/SCC.pl
/usr/lib/pakcs/lib/.curry/pakcs/SearchTree.pl
/usr/lib/pakcs/lib/.curry/pakcs/SearchTreeGenerators.pl
/usr/lib/pakcs/lib/.curry/pakcs/SearchTreeTraversal.pl
/usr/lib/pakcs/lib/.curry/pakcs/SetFunctions.pl
/usr/lib/pakcs/lib/.curry/pakcs/SetRBT.pl
/usr/lib/pakcs/lib/.curry/pakcs/ShowS.pl
/usr/lib/pakcs/lib/.curry/pakcs/Socket.pl
/usr/lib/pakcs/lib/.curry/pakcs/Sort.pl
/usr/lib/pakcs/lib/.curry/pakcs/State.pl
/usr/lib/pakcs/lib/.curry/pakcs/System.pl
/usr/lib/pakcs/lib/.curry/pakcs/TableRBT.pl
/usr/lib/pakcs/lib/.curry/pakcs/Time.pl
/usr/lib/pakcs/lib/.curry/pakcs/Traversal.pl
/usr/lib/pakcs/lib/.curry/pakcs/URL.pl
/usr/lib/pakcs/lib/.curry/pakcs/Unsafe.pl
/usr/lib/pakcs/lib/.curry/pakcs/ValueSequence.pl
/usr/lib/pakcs/lib/.curry/pakcs/WUI.pl
/usr/lib/pakcs/lib/.curry/pakcs/WUIjs.pl
/usr/lib/pakcs/lib/.curry/pakcs/XML.pl
/usr/lib/pakcs/lib/.curry/pakcs/XmlConv.pl
/usr/lib/pakcs/lib/.curry/pakcs/AbstractCurry/Build.pl
/usr/lib/pakcs/lib/.curry/pakcs/AbstractCurry/Files.pl
/usr/lib/pakcs/lib/.curry/pakcs/AbstractCurry/Pretty.pl
/usr/lib/pakcs/lib/.curry/pakcs/AbstractCurry/Select.pl
/usr/lib/pakcs/lib/.curry/pakcs/AbstractCurry/Transform.pl
/usr/lib/pakcs/lib/.curry/pakcs/AbstractCurry/Types.pl
/usr/lib/pakcs/lib/.curry/pakcs/CLP/FD.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/ERD.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/ERDGoodies.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/CDBI/Connection.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/CDBI/Criteria.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/CDBI/Description.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/CDBI/ER.pl
/usr/lib/pakcs/lib/.curry/pakcs/Database/CDBI/QueryTypes.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Compact.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Files.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/FlexRigid.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Goodies.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Pretty.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Read.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Show.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Types.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/XML.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Annotated/Goodies.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Annotated/Pretty.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Annotated/TypeInference.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Annotated/TypeSubst.pl
/usr/lib/pakcs/lib/.curry/pakcs/FlatCurry/Annotated/Types.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/CriticalPairs.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/DefinitionalTree.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Files.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Narrowing.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Position.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Rules.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Strategy.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Substitution.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Term.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/Unification.pl
/usr/lib/pakcs/lib/.curry/pakcs/Rewriting/UnificationSpec.pl
/usr/lib/pakcs/lib/.curry/pakcs/Test/Contract.pl
/usr/lib/pakcs/lib/.curry/pakcs/Test/EasyCheck.pl
/usr/lib/pakcs/lib/.curry/pakcs/Test/EasyCheckExec.pl
/usr/lib/pakcs/lib/.curry/pakcs/Test/Prop.pl
/usr/lib/pakcs/lib/AbstractCurry/Build.curry
/usr/lib/pakcs/lib/AbstractCurry/Files.curry
/usr/lib/pakcs/lib/AbstractCurry/Pretty.curry
/usr/lib/pakcs/lib/AbstractCurry/Select.curry
/usr/lib/pakcs/lib/AbstractCurry/Transform.curry
/usr/lib/pakcs/lib/AbstractCurry/Types.curry
/usr/lib/pakcs/lib/CLP/FD.curry
/usr/lib/pakcs/lib/Database/ERD.curry
/usr/lib/pakcs/lib/Database/ERDGoodies.curry
/usr/lib/pakcs/lib/Database/CDBI/Connection.curry
/usr/lib/pakcs/lib/Database/CDBI/Criteria.curry
/usr/lib/pakcs/lib/Database/CDBI/Description.curry
/usr/lib/pakcs/lib/Database/CDBI/ER.curry
/usr/lib/pakcs/lib/Database/CDBI/QueryTypes.curry
/usr/lib/pakcs/lib/FlatCurry/Compact.curry
/usr/lib/pakcs/lib/FlatCurry/Files.curry
/usr/lib/pakcs/lib/FlatCurry/FlexRigid.curry
/usr/lib/pakcs/lib/FlatCurry/Goodies.curry
/usr/lib/pakcs/lib/FlatCurry/Pretty.curry
/usr/lib/pakcs/lib/FlatCurry/Read.curry
/usr/lib/pakcs/lib/FlatCurry/Show.curry
/usr/lib/pakcs/lib/FlatCurry/Types.curry
/usr/lib/pakcs/lib/FlatCurry/XML.curry
/usr/lib/pakcs/lib/FlatCurry/Annotated/Goodies.curry
/usr/lib/pakcs/lib/FlatCurry/Annotated/Pretty.curry
/usr/lib/pakcs/lib/FlatCurry/Annotated/TypeInference.curry
/usr/lib/pakcs/lib/FlatCurry/Annotated/TypeSubst.curry
/usr/lib/pakcs/lib/FlatCurry/Annotated/Types.curry
/usr/lib/pakcs/lib/Rewriting/CriticalPairs.curry
/usr/lib/pakcs/lib/Rewriting/DefinitionalTree.curry
/usr/lib/pakcs/lib/Rewriting/Files.curry
/usr/lib/pakcs/lib/Rewriting/Narrowing.curry
/usr/lib/pakcs/lib/Rewriting/Position.curry
/usr/lib/pakcs/lib/Rewriting/Rules.curry
/usr/lib/pakcs/lib/Rewriting/Strategy.curry
/usr/lib/pakcs/lib/Rewriting/Substitution.curry
/usr/lib/pakcs/lib/Rewriting/Term.curry
/usr/lib/pakcs/lib/Rewriting/Unification.curry
/usr/lib/pakcs/lib/Rewriting/UnificationSpec.curry
/usr/lib/pakcs/lib/Test/Contract.curry
/usr/lib/pakcs/lib/Test/EasyCheck.curry
/usr/lib/pakcs/lib/Test/EasyCheckExec.curry
/usr/lib/pakcs/lib/Test/Prop.curry
/usr/lib/pakcs/scripts/Makefile
/usr/lib/pakcs/scripts/cleancurry.sh
/usr/lib/pakcs/scripts/configure-pakcs
/usr/lib/pakcs/scripts/makesavedstate
/usr/lib/pakcs/scripts/pakcs-fcypp.sh
/usr/lib/pakcs/scripts/pakcs-makecgi.sh
/usr/lib/pakcs/scripts/pakcs-makesavedstate.sh
/usr/lib/pakcs/scripts/pakcs.sh
/usr/lib/pakcs/scripts/pakcsinitrc.sh
/usr/lib/pakcs/testsuite2/README
/usr/lib/pakcs/testsuite2/RandomTest.curry
/usr/lib/pakcs/testsuite2/rev.curry
/usr/lib/pakcs/testsuite2/test.sh
/usr/lib/pakcs/testsuite2/testAbstractCurry.curry
/usr/lib/pakcs/testsuite2/testArray.curry
/usr/lib/pakcs/testsuite2/testAsPattern.curry
/usr/lib/pakcs/testsuite2/testCLPB.curry
/usr/lib/pakcs/testsuite2/testCase.curry
/usr/lib/pakcs/testsuite2/testCombinatorial.curry
/usr/lib/pakcs/testsuite2/testDatabase.curry
/usr/lib/pakcs/testsuite2/testDequeue.curry
/usr/lib/pakcs/testsuite2/testDirectory.curry
/usr/lib/pakcs/testsuite2/testExpTypeInference.curry
/usr/lib/pakcs/testsuite2/testFCase.curry
/usr/lib/pakcs/testsuite2/testFiniteMap.curry
/usr/lib/pakcs/testsuite2/testFlatCurryGoodies.curry
/usr/lib/pakcs/testsuite2/testFlatCurryXML.curry
/usr/lib/pakcs/testsuite2/testFormat.curry
/usr/lib/pakcs/testsuite2/testFuncPattern.curry
/usr/lib/pakcs/testsuite2/testFunctional.curry
/usr/lib/pakcs/testsuite2/testGlobal.curry
/usr/lib/pakcs/testsuite2/testGlobalVariable.curry
/usr/lib/pakcs/testsuite2/testHigher.curry
/usr/lib/pakcs/testsuite2/testIO.curry
/usr/lib/pakcs/testsuite2/testIOExts.curry
/usr/lib/pakcs/testsuite2/testInfinite.curry
/usr/lib/pakcs/testsuite2/testInteger.curry
/usr/lib/pakcs/testsuite2/testKeyDatabaseSQLite.curry
/usr/lib/pakcs/testsuite2/testLetRec.curry
/usr/lib/pakcs/testsuite2/testList.curry
/usr/lib/pakcs/testsuite2/testNarrowing.curry
/usr/lib/pakcs/testsuite2/testNonLinearPattern.curry
/usr/lib/pakcs/testsuite2/testNondet.curry
/usr/lib/pakcs/testsuite2/testPolySubExp.curry
/usr/lib/pakcs/testsuite2/testPrelude.curry
/usr/lib/pakcs/testsuite2/testRecords.curry
/usr/lib/pakcs/testsuite2/testRedBlackTree.curry
/usr/lib/pakcs/testsuite2/testRegExp.curry
/usr/lib/pakcs/testsuite2/testSetFunctions.curry
/usr/lib/pakcs/testsuite2/testSort.curry
/usr/lib/pakcs/testsuite2/testSystem.curry
/usr/lib/pakcs/testsuite2/testTraversal.curry
/usr/lib/pakcs/testsuite2/testUnification.curry
/usr/lib/pakcs/testsuite2/testUnsafeSearchTree.curry
/usr/lib/pakcs/tools/Makefile
/usr/lib/pakcs/tools/README
/usr/lib/pakcs/tools/curry2xml
/usr/lib/pakcs/tools/curry2xml.curry
/usr/lib/pakcs/tools/rlwrap
/usr/lib/pakcs/tools/.curry/curry2xml.fcy
/usr/lib/pakcs/tools/.curry/curry2xml.fint
/usr/lib/pakcs/tools/.curry/curry2xml.icurry
/usr/lib/pakcs/tools/.curry/pakcs/curry2xml.pl
/usr/lib/pakcs/tools/Peval/Flat.curry
/usr/lib/pakcs/tools/Peval/Flat.prim_c2p
/usr/lib/pakcs/tools/Peval/Flat2Fcy.curry
/usr/lib/pakcs/tools/Peval/Makefile
/usr/lib/pakcs/tools/Peval/README
/usr/lib/pakcs/tools/Peval/peval
/usr/lib/pakcs/tools/Peval/peval.curry
/usr/lib/pakcs/tools/Peval/.curry/Flat.fcy
/usr/lib/pakcs/tools/Peval/.curry/Flat.fint
/usr/lib/pakcs/tools/Peval/.curry/Flat.icurry
/usr/lib/pakcs/tools/Peval/.curry/Flat2Fcy.fcy
/usr/lib/pakcs/tools/Peval/.curry/Flat2Fcy.fint
/usr/lib/pakcs/tools/Peval/.curry/Flat2Fcy.icurry
/usr/lib/pakcs/tools/Peval/.curry/peval.fcy
/usr/lib/pakcs/tools/Peval/.curry/peval.fint
/usr/lib/pakcs/tools/Peval/.curry/peval.icurry
/usr/lib/pakcs/tools/Peval/.curry/peval_O.fcy
/usr/lib/pakcs/tools/Peval/.curry/pakcs/Flat.pl
/usr/lib/pakcs/tools/Peval/.curry/pakcs/Flat2Fcy.pl
/usr/lib/pakcs/tools/Peval/.curry/pakcs/peval.pl
/usr/lib/pakcs/tools/coosy/CoosyDerive.curry
/usr/lib/pakcs/tools/coosy/CoosyGUI
/usr/lib/pakcs/tools/coosy/CoosyGUI.curry
/usr/lib/pakcs/tools/coosy/CoosyPrettier.curry
/usr/lib/pakcs/tools/coosy/CoosyShowObserve.curry
/usr/lib/pakcs/tools/coosy/CoosyTrace.curry
/usr/lib/pakcs/tools/coosy/Help.txt
/usr/lib/pakcs/tools/coosy/Makefile
/usr/lib/pakcs/tools/coosy/Observe.curry
/usr/lib/pakcs/tools/coosy/README.txt
/usr/lib/pakcs/tools/coosy/examples.curry
/usr/lib/pakcs/tools/coosy/.curry/CoosyDerive.fcy
/usr/lib/pakcs/tools/coosy/.curry/CoosyDerive.fint
/usr/lib/pakcs/tools/coosy/.curry/CoosyDerive.icurry
/usr/lib/pakcs/tools/coosy/.curry/CoosyGUI.fcy
/usr/lib/pakcs/tools/coosy/.curry/CoosyGUI.fint
/usr/lib/pakcs/tools/coosy/.curry/CoosyGUI.icurry
/usr/lib/pakcs/tools/coosy/.curry/CoosyPrettier.fcy
/usr/lib/pakcs/tools/coosy/.curry/CoosyPrettier.fint
/usr/lib/pakcs/tools/coosy/.curry/CoosyPrettier.icurry
/usr/lib/pakcs/tools/coosy/.curry/CoosyShowObserve.fcy
/usr/lib/pakcs/tools/coosy/.curry/CoosyShowObserve.fint
/usr/lib/pakcs/tools/coosy/.curry/CoosyShowObserve.icurry
/usr/lib/pakcs/tools/coosy/.curry/CoosyTrace.fcy
/usr/lib/pakcs/tools/coosy/.curry/CoosyTrace.fint
/usr/lib/pakcs/tools/coosy/.curry/CoosyTrace.icurry
/usr/lib/pakcs/tools/coosy/.curry/Observe.fcy
/usr/lib/pakcs/tools/coosy/.curry/Observe.fint
/usr/lib/pakcs/tools/coosy/.curry/Observe.icurry
/usr/lib/pakcs/tools/coosy/.curry/pakcs/CoosyDerive.pl
/usr/lib/pakcs/tools/coosy/.curry/pakcs/CoosyGUI.pl
/usr/lib/pakcs/tools/coosy/.curry/pakcs/CoosyPrettier.pl
/usr/lib/pakcs/tools/coosy/.curry/pakcs/CoosyShowObserve.pl
/usr/lib/pakcs/tools/coosy/.curry/pakcs/CoosyTrace.pl
/usr/lib/pakcs/tools/coosy/.curry/pakcs/Observe.pl
/usr/lib/pakcs/tools/emacs/README
/usr/lib/pakcs/tools/emacs/curry-decl-scan.el
/usr/lib/pakcs/tools/emacs/curry-doc.el
/usr/lib/pakcs/tools/emacs/curry-font-lock.el
/usr/lib/pakcs/tools/emacs/curry-indent.el
/usr/lib/pakcs/tools/emacs/curry-mode.el
/usr/lib/pakcs/tools/emacs/curry-pakcs.el
/usr/lib/pakcs/tools/emacs/curry-simple-indent.el
/usr/lib/pakcs/tools/lib_deprecated/AbsCurry.curry
/usr/lib/pakcs/tools/lib_deprecated/AbsCurryIO.curry
/usr/lib/pakcs/tools/lib_deprecated/DaVinci.curry
/usr/lib/pakcs/tools/lib_deprecated/Flat.curry
/usr/lib/pakcs/tools/lib_deprecated/Flat.prim_c2p
/usr/lib/pakcs/tools/lib_deprecated/Flat2Fcy.curry
/usr/lib/pakcs/tools/lib_deprecated/FlatCurryTools.curry
/usr/lib/pakcs/tools/lib_deprecated/FlatTools.curry
/usr/lib/pakcs/tools/lib_deprecated/FlatXML.curry
/usr/lib/pakcs/tools/lib_deprecated/GUI_2012_11.curry
/usr/lib/pakcs/tools/lib_deprecated/SetRBT0.curry
/usr/lib/pakcs/tools/lib_deprecated/TableRBT0.curry
/usr/lib/pakcs/tools/lib_deprecated/Tk.curry
/usr/lib/pakcs/tools/lib_deprecated/.curry/Flat.fcy
/usr/lib/pakcs/tools/lib_deprecated/.curry/Flat.fint
/usr/lib/pakcs/tools/lib_deprecated/.curry/Flat.icurry
/usr/lib/pakcs/tools/lib_deprecated/.curry/Flat2Fcy.fcy
/usr/lib/pakcs/tools/lib_deprecated/.curry/Flat2Fcy.fint
/usr/lib/pakcs/tools/lib_deprecated/.curry/Flat2Fcy.icurry
/usr/lib/pakcs/tools/lib_deprecated/.curry/FlatTools.fcy
/usr/lib/pakcs/tools/lib_deprecated/.curry/FlatTools.fint
/usr/lib/pakcs/tools/lib_deprecated/.curry/FlatTools.icurry
/usr/lib/pakcs/tools/lib_deprecated/.curry/FlatXML.fcy
/usr/lib/pakcs/tools/lib_deprecated/.curry/FlatXML.fint
/usr/lib/pakcs/tools/lib_deprecated/.curry/FlatXML.icurry
/usr/lib/pakcs/tools/lib_deprecated/.curry/pakcs/Flat.pl
/usr/lib/pakcs/tools/lib_deprecated/.curry/pakcs/Flat2Fcy.pl
/usr/lib/pakcs/tools/lib_deprecated/.curry/pakcs/FlatTools.pl
/usr/lib/pakcs/tools/lib_deprecated/.curry/pakcs/FlatXML.pl
/usr/lib/pakcs/tools/optimize/CompactFlat
/usr/lib/pakcs/tools/optimize/CompactFlat.curry
/usr/lib/pakcs/tools/optimize/Makefile
/usr/lib/pakcs/tools/optimize/NonStrictOpt
/usr/lib/pakcs/tools/optimize/NonStrictOpt.curry
/usr/lib/pakcs/tools/optimize/.curry/CompactFlat.fcy
/usr/lib/pakcs/tools/optimize/.curry/CompactFlat.fint
/usr/lib/pakcs/tools/optimize/.curry/CompactFlat.icurry
/usr/lib/pakcs/tools/optimize/.curry/NonStrictOpt.fcy
/usr/lib/pakcs/tools/optimize/.curry/NonStrictOpt.fint
/usr/lib/pakcs/tools/optimize/.curry/NonStrictOpt.icurry
/usr/lib/pakcs/tools/optimize/.curry/pakcs/CompactFlat.pl
/usr/lib/pakcs/tools/optimize/.curry/pakcs/NonStrictOpt.pl
/usr/lib/pakcs/tools/ui/Action.js
/usr/lib/pakcs/tools/ui/GUI.curry
/usr/lib/pakcs/tools/ui/GUI2HTML.curry
/usr/lib/pakcs/tools/ui/HTML.curry
/usr/lib/pakcs/tools/ui/Json.curry
/usr/lib/pakcs/tools/ui/Makefile
/usr/lib/pakcs/tools/ui/Parse.curry
/usr/lib/pakcs/tools/ui/README
/usr/lib/pakcs/tools/ui/SpicyWeb.curry
/usr/lib/pakcs/tools/ui/Throbber.gif
/usr/lib/pakcs/tools/ui/Throbber.png
/usr/lib/pakcs/tools/ui/TypedUI2GUI.curry
/usr/lib/pakcs/tools/ui/TypedUI2HTML.curry
/usr/lib/pakcs/tools/ui/UI.curry
/usr/lib/pakcs/tools/ui/UI2GUI.curry
/usr/lib/pakcs/tools/ui/UI2HTML.curry
/usr/lib/pakcs/tools/ui/ajaxrequest.js
/usr/lib/pakcs/tools/ui/default.css
/usr/lib/pakcs/tools/ui/prototype.js
/usr/lib/pakcs/tools/ui/.curry/GUI.fcy
/usr/lib/pakcs/tools/ui/.curry/GUI.fint
/usr/lib/pakcs/tools/ui/.curry/GUI.icurry
/usr/lib/pakcs/tools/ui/.curry/GUI2HTML.fcy
/usr/lib/pakcs/tools/ui/.curry/GUI2HTML.fint
/usr/lib/pakcs/tools/ui/.curry/GUI2HTML.icurry
/usr/lib/pakcs/tools/ui/.curry/HTML.fcy
/usr/lib/pakcs/tools/ui/.curry/HTML.fint
/usr/lib/pakcs/tools/ui/.curry/HTML.icurry
/usr/lib/pakcs/tools/ui/.curry/Json.fcy
/usr/lib/pakcs/tools/ui/.curry/Json.fint
/usr/lib/pakcs/tools/ui/.curry/Json.icurry
/usr/lib/pakcs/tools/ui/.curry/Parse.fcy
/usr/lib/pakcs/tools/ui/.curry/Parse.fint
/usr/lib/pakcs/tools/ui/.curry/Parse.icurry
/usr/lib/pakcs/tools/ui/.curry/SpicyWeb.fcy
/usr/lib/pakcs/tools/ui/.curry/SpicyWeb.fint
/usr/lib/pakcs/tools/ui/.curry/SpicyWeb.icurry
/usr/lib/pakcs/tools/ui/.curry/TypedUI2GUI.fcy
/usr/lib/pakcs/tools/ui/.curry/TypedUI2GUI.fint
/usr/lib/pakcs/tools/ui/.curry/TypedUI2GUI.icurry
/usr/lib/pakcs/tools/ui/.curry/TypedUI2HTML.fcy
/usr/lib/pakcs/tools/ui/.curry/TypedUI2HTML.fint
/usr/lib/pakcs/tools/ui/.curry/TypedUI2HTML.icurry
/usr/lib/pakcs/tools/ui/.curry/UI.fcy
/usr/lib/pakcs/tools/ui/.curry/UI.fint
/usr/lib/pakcs/tools/ui/.curry/UI.icurry
/usr/lib/pakcs/tools/ui/.curry/UI2GUI.fcy
/usr/lib/pakcs/tools/ui/.curry/UI2GUI.fint
/usr/lib/pakcs/tools/ui/.curry/UI2GUI.icurry
/usr/lib/pakcs/tools/ui/.curry/UI2HTML.fcy
/usr/lib/pakcs/tools/ui/.curry/UI2HTML.fint
/usr/lib/pakcs/tools/ui/.curry/UI2HTML.icurry
/usr/lib/pakcs/tools/ui/.curry/pakcs/GUI.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/GUI2HTML.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/HTML.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/Json.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/Parse.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/SpicyWeb.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/TypedUI2GUI.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/TypedUI2HTML.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/UI.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/UI2GUI.pl
/usr/lib/pakcs/tools/ui/.curry/pakcs/UI2HTML.pl
/usr/lib/pakcs/tools/ui/examples/calcui.curry
/usr/lib/pakcs/tools/ui/examples/counter4.curry
/usr/lib/pakcs/tools/ui/examples/counterui.curry
/usr/lib/pakcs/tools/ui/examples/tcounter.curry
/usr/share/doc/pakcs/README
/usr/share/doc/pakcs/changelog.Debian.gz
/usr/share/doc/pakcs/copyright
/usr/share/lintian/overrides/pakcs
/usr/share/man/man1/cleancurry.1.gz
/usr/share/man/man1/pakcs.1.gz
/usr/share/man/man1/runcurry.1.gz

Changelog

2017-02-24 - Mike Gabriel <sunweaver@debian.org>
pakcs (1.14.2-1) unstable; urgency=medium
* New upstream release.
* debian/patches:
+ Drop all patches recently cherry-picked from upstream. They are included
in this upstream release.
* debian/control:
+ Update versioned B-Ds for curry-libs-source (>= 1.0.3-1~) and
curry-tools-source (>= 1.0.3+dfsg1-1~).
* debian/pakcs.install:
+ The cpns/ and www/ code has been moved to curry-tools.
* debian/copyright:
+ Update copyright attributions.
2017-02-08 - Mike Gabriel <sunweaver@debian.org>
pakcs (1.14.1-4) unstable; urgency=medium
* debian/rules:
+ Don't run unit tests on 32bit hardware. The SWI-Prolog's stack size is to
small for it on 32bit platforms.
2017-02-03 - Mike Gabriel <sunweaver@debian.org>
pakcs (1.14.1-3) unstable; urgency=medium
* debian/patches:
+ Add 0055-More-error-exit-codes-are-set.patch,
0056-CASS-tool-updated-containing-new-analyses.patch,
0057-Makefiloe-changed-for-package-installation-verbose-m.patch,
0058-Tools-and-libs-updated.patch.
Add more exit points with exit code.
Support running tests in verbose mode.
+ Add 0059-lockfile-command-replaced-by-lockfile-create-remove.patch;
use lockfile-progs instead of procmail's lockfile.
+ Add 0060-Bug-for-loading-libraries-with-SWI-Prolog-fixed-SWI-.patch,
0061-Release-notes-and-build-version-number-adapted.patch; fix library
loading issue with SWI Prolog.
+ Add 0062-tools-and-libs-updated.patch,
0063-Check-for-existence-of-home-directory-extended.patch,
0064-tools-updated.patch.
Check existence of home directory + release notes updates.
+ Add 0065-tools-updated-clean-up-after-runtest-added-in-Makefi.patch,
0066-noreadline-added-to-CHR-tests.patch,
0067-pakcs-script-slightly-improved-w.r.t-home-dir-checki.patch.
Prevent test suite from attempting to create non-existent home directory.
* debian/control:
+ Add to B-D and R (pakcs): sqlite3. Test suite also tests some database
functionalities based on SQLite 3. Same functionalities at runtime are
only available if SQLite 3 is installed.
+ Update versioned B-D for curry-libs and curry-tools. Various fixes for
the test runs shipped in those new package revisions.
+ Add to B-D and D (pakcs): lockfile-progs. Required by IOExts in curry-libs.
+ Typo fix in package SYNOPSIS. (Closes: #852950).
+ Add to S (pakcs): tk.
* debian/rules:
+ Enable unit tests (via runtestverbose CHECK target).
+ Make sure that cleancurry is available via PAKCSHOME/bin at build time.

See Also

Package Description
pal_0.4.3-8.1build2_i386.deb command-line calendar program that can keep track of events
palapeli-data_17.04.3-0ubuntu1_all.deb data files for palapeli jigsaw puzzle game
palapeli_17.04.3-0ubuntu1_i386.deb jigsaw puzzle game
palbart_2.13-1_i386.deb Enhanced version of the PAL PDP8 assembler
paleomix_1.2.7-1_all.deb pipelines and tools for the processing of ancient and modern HTS data
palo_1.97_i386.deb Linux boot loader for HP PA-RISC
palp_2.1-4_i386.deb Package for Analyzing Lattice Polytopes
pam-dbus-notify_0.2.1-3_all.deb Handler for the pam-dbus module, using notification-daemon
paman_0.9.4-1ubuntu5_i386.deb PulseAudio Manager
pamtester_0.1.2-2_i386.deb utility program to test the PAM facility
pamu2fcfg_1.0.4-2_i386.deb universal 2nd factor (U2F) PAM module command-line helper tool
pan_0.142-1_i386.deb newsreader based on GTK2, which looks like Forte Agent
pandoc-citeproc-preamble_1.2.3_i386.deb insert a preamble before pandoc-citeproc's bibliography
pandoc-citeproc_0.10.4.1-2build3_i386.deb Pandoc support for Citation Style Language - tools
pandoc-data_1.19.2.1.0-1_all.deb general markup converter - data files
Advertisement
Advertisement