Change method of determining whether a package is installed
[hcoop/domtool2.git] / src / plugins / apt.sml
2007-11-14 Adam ChlipalaChange method of determining whether a package is installed
2007-02-21 Adam ChlipalaApt package installation querying of dispatcher