Index of /linux/debian/debian-ports/pool/main/d/dolfin

Icon  Name                                                            Last modified      Size  
[PARENTDIR] Parent Directory                                                                     -   
[   ] dolfin-bin_2019.2.0~legacy20240219.1c52e83-32_all.deb           2026-10-04 18:28   45K  
[   ] dolfin-doc_2019.2.0~legacy20240219.1c52e83-32_all.deb           2026-10-04 18:28   13M  
[   ] libdolfin-dev-common_2019.2.0~legacy20240219.1c52e83-32_all.deb 2026-10-04 18:28  214K