summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2016-04-14 15:41:02 +0200
committerRemi Collet <fedora@famillecollet.com>2016-04-14 15:41:02 +0200
commit6894210fe6159e5f36cb5ad5ba04915022ddcb54 (patch)
tree966d15f84626dff3f9129b801277c5d5b3b7cdbc
parentd75f1fb964fbbb0f0c5049c95fa4da7ed2f5e9b3 (diff)
php-hoa-devtools: 1.16.01.15 (new package, wip)
-rw-r--r--checkpkgist/checkpkgist.json1
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",