php-mongodb - new package for php 8.2

fritzkink

2023-12-25 851cd5721904afd5369055381778e81a271b5bde

1
2
# stuff we drop from the proto area - not shipped
<transform file path=.+/lib/.+\.a$ -> drop>