Index of /pub/mirror/ubuntu-packages/pool/universe/d/dolfinx-mpc
Name
Last modified
Size
Description
Parent Directory
-
dolfinx-mpc_0.8.0.post1-4.debian.tar.xz
2024-06-03 02:05
6.8K
dolfinx-mpc_0.8.0.post1-4.dsc
2024-06-03 02:05
2.7K
dolfinx-mpc_0.8.0.post1.orig.tar.gz
2024-05-05 19:38
143K
Apache/2.4.59 (Debian) Server at ftp.rz.tu-braunschweig.de Port 80