Index of /mirrors/archive.ubuntu.com/ubuntu/pool/universe/d/dolfinx-mpc
Name
Last modified
Size
Description
Parent Directory
-
dolfinx-mpc_0.8.0.post1.orig.tar.gz
2024-05-05 20:38
143K
dolfinx-mpc_0.8.0.post1-4.debian.tar.xz
2024-06-03 03:05
6.8K
dolfinx-mpc_0.8.0.post1-4.dsc
2024-06-03 03:05
2.7K
Apache/2.4.62 (Debian) Server at 5.179.20.164 Port 80