Index of /ginggs/deal.ii-9.2.0-backports/ubuntu/dists/devel

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]InRelease2020-07-08 18:09 17K 
[ ]Release2020-07-08 18:09 17K 
[ ]Release.gpg2020-07-08 18:09 299  
[DIR]by-hash/2020-07-08 18:09 -  
[DIR]main/2020-07-08 18:09 -