diff options
author | Remi Collet <fedora@famillecollet.com> | 2016-04-14 15:41:02 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2016-04-14 15:41:02 +0200 |
commit | 6894210fe6159e5f36cb5ad5ba04915022ddcb54 (patch) | |
tree | 966d15f84626dff3f9129b801277c5d5b3b7cdbc /checkpkgist | |
parent | d75f1fb964fbbb0f0c5049c95fa4da7ed2f5e9b3 (diff) |
php-hoa-devtools: 1.16.01.15 (new package, wip)
Diffstat (limited to 'checkpkgist')
-rw-r--r-- | checkpkgist/checkpkgist.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checkpkgist/checkpkgist.json b/checkpkgist/checkpkgist.json index 47acaa5..e93ddf7 100644 --- a/checkpkgist/checkpkgist.json +++ b/checkpkgist/checkpkgist.json @@ -23,6 +23,7 @@ "hoa\/compiler": "php-hoa-compiler", "hoa\/consistency": "php-hoa-consistency", "hoa\/console": "php-hoa-console", + "hoa\/devtools": "php-hoa-devtools", "hoa\/dispatcher": "php-hoa-dispatcher", "hoa\/iterator": "php-hoa-iterator", "hoa\/json": "php-hoa-json", |