hol88-library-source - 2.02.19940316-35 main

Higher Order Logic, library source files

Section: math
Suites: amber byzantium landing 
Maintainer: Camm Maguire <camm@debian.org>
 
Source Package
 

Installed Size: 3.7 MB
Architectures: all 

 

Versions

2.02.19940316-35 all