The text 2244dffbc136, as Debian 1.3 (Bo), Debian 1.2 (Rex) shipped it.
manipulate sets of integers
iset(3pub) on Linux now
