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 | |
| parent | d75f1fb964fbbb0f0c5049c95fa4da7ed2f5e9b3 (diff) | |
php-hoa-devtools: 1.16.01.15 (new package, wip)
| -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", |