Add query for existence of package
[hcoop/domtool2.git] / src / plugins / apt.sml
2013-01-06 Clinton EbadiAdd query for existence of package
2007-11-14 Adam ChlipalaChange method of determining whether a package is installed
2007-02-21 Adam ChlipalaApt package installation querying of dispatcher