HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7adeee3) | patch
Change method of determining whether a package is installed
authorAdam Chlipala <adamc@hcoop.net>
Wed, 14 Nov 2007 00:05:49 +0000 (00:05 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Wed, 14 Nov 2007 00:05:49 +0000 (00:05 +0000)
commita378e68834840e0a2f856837532ca23ba8dba07c
tree1e6ca19f04e10ed4c4da3a563a29452e60e79239tree | snapshot (tar.gz zip)
parent7adeee333409df08a82fafc8b1629e56d47c09c1commit | diff
Change method of determining whether a package is installed
src/plugins/apt.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.