Index of /debian/pool/main/d/direvent

 Name                         Last modified      Size  
 Parent Directory                                  -   
 direvent_5.2-1+b1_amd64.deb  2020-04-16 23:35  153K  
 direvent_5.2-1+b2_amd64.deb  2024-06-30 02:14  154K  
 direvent_5.2-1+b3_amd64.deb  2024-08-18 14:54  154K  
 direvent_5.2-1.debian.tar.xz 2024-10-13 07:13  6.1K  
 direvent_5.2-1.dsc           2024-10-13 07:13  2.0K  
 direvent_5.2.orig.tar.gz     2024-10-13 07:13  921K  
 direvent_5.2.orig.tar.gz.asc 2024-10-13 07:13  220   

This mirror is brought to you by HR-Tech and Heiko Richter