Index of /iblech/stuff/agda-in-padova-2023

[ICO]NameLast modifiedSizeDescription

[VID]11-recording.mp42023-06-01 18:44 219M 
[VID]10-recording.mp42023-06-01 12:39 206M 
[VID]09-recording.mp42023-06-01 13:01 174M 
[VID]08-recording.mp42023-05-20 21:45 237M 
[VID]07-recording.mp42023-05-20 21:31 254M 
[VID]06-recording.mp42023-05-13 16:05 255M 
[VID]05-recording.mp42023-05-13 15:34 245M 
[VID]05-recording-half-resolution.mp42023-05-21 16:14 90M 
[VID]04-recording.mp42023-05-05 19:06 172M 
[VID]03-recording.mp42023-05-05 19:03 213M 
[VID]02-screen.mp42023-05-05 15:51 145M 
[VID]02-audio.mp42023-05-05 15:53 78M 
[VID]01-screen.mp42023-05-05 15:39 107M 
[VID]01-audio.mp42023-05-05 15:53 68M 

Apache/2.4.62 (Debian) Server at www.speicherleck.de Port 443