Document: felix-library
Title: Debian Felix Library Manual
Author: John Skaller
Abstract: Felix Standard Library.
Section: main
Format: HTML
Index: /usr/share/doc/felix/impldoc/index.html
Files: /usr/share/doc/felix/impldoc/*.html

