Index of /Deepin/deepin/apricot/pool/main/p/ppx-tools

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libppx-tools-ocaml-dev_5.0+4.05.0-1+b1_amd64.deb   2022-04-11 11:22  509K  
 libppx-tools-ocaml-dev_5.0+4.05.0-1+b1_i386.deb    2022-04-11 11:06  503K  
 ppx-tools_5.0+4.05.0.orig.tar.gz                   2022-04-11 11:03   17K  
 ppx-tools_5.0+4.05.0-1.dsc                         2022-04-11 11:03  2.0K  
 ppx-tools_5.0+4.05.0-1.debian.tar.xz               2022-04-11 11:03  2.4K