HCoop / hcoop / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b675b4c) | patch
Update APT requests to take multiple servers into consideration
authorAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 21:05:26 +0000 (21:05 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 25 Feb 2007 21:05:26 +0000 (21:05 +0000)
commit18eeb7495e094565c1a5044296606fecd53814db
tree350909eb699cf69fa851ccf758e2b163677cf09dtree | snapshot (tar.gz zip)
parentb675b4c57cc9ac04c5e2e149297ccff3ef4c6ae5commit | diff
Update APT requests to take multiple servers into consideration
apt.mlt diff | blob | blame | history
apt.sml diff | blob | blame | history
aptquery.sig diff | blob | blame | history
aptquery.sml diff | blob | blame | history
exn.mlt diff | blob | blame | history
init.sig diff | blob | blame | history
init.sml diff | blob | blame | history
requestH.sig [new file with mode: 0644] blob
requestH.sml [new file with mode: 0644] blob
sec.mlt diff | blob | blame | history
tables.sql diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.