Hey there,

as I needed the package for myself, I've just packed it with
pkg-php-tools and uploaded it to GitHub (1).

Unfortunately I'm no debian maintainer, so I can't upload it to the
official repos, but maybe one of the "Debian PHP PEAR Maintainers" can
help me? I'll read the docs on how to become a maintainer, but I think
this will need some time ...

- Alex


[1] https://github.com/alehaa/Silex/releases/tag/debian%2F2.0.4-1

Reply via email to