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

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