From 6894210fe6159e5f36cb5ad5ba04915022ddcb54 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 14 Apr 2016 15:41:02 +0200 Subject: php-hoa-devtools: 1.16.01.15 (new package, wip) --- checkpkgist/checkpkgist.json | 1 + 1 file changed, 1 insertion(+) 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", -- cgit