Index of /ubuntu/archive/pool/universe/d/dolfinx-mpc
Name
Last modified
Size
Description
Parent Directory
-
dolfinx-mpc_0.8.0.post1-4.debian.tar.xz
2024-06-02 19:05
6.8K
dolfinx-mpc_0.8.0.post1-4.dsc
2024-06-02 19:05
2.7K
dolfinx-mpc_0.8.0.post1.orig.tar.gz
2024-05-05 12:38
143K
Apache/2.4.58 Server at mirrors.usinternet.com Port 443