| c | File Name | Size | files | Artist | Title | Tdate | dur | q | Vc | Ac | Fmt | Res | fps | T | Date |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| - | 20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].description | 437 | description | 2022-03-08 06:03:25 | |||||||||||
| - | 20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].mkv | 129000790 | Computerphile | Eliminating Run-Time Errors with Agda - Computerphile | 20210820 | 1116.261 | 924 | vp9 | opus | matroska | 1920x1080 | 25 | mkv | 2021-08-21 17:28:40 | |
| - | 20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].webp | 74684 | webp | webp_pipe | 1280x720 | 25 | webp | 2022-03-08 06:03:30 |
![20210820 - Eliminating Run-Time Errors with Agda - Computerphile - (1116s) [1920x1080] [bRudW0aBNg8].webp](/youtube/Computerphile%20%28Computerphile%29/20210820%20-%20Eliminating%20Run-Time%20Errors%20with%20Agda%20-%20Computerphile%20-%20%281116s%29%20%5B1920x1080%5D%20%5BbRudW0aBNg8%5D/20210820%20-%20Eliminating%20Run-Time%20Errors%20with%20Agda%20-%20Computerphile%20-%20%281116s%29%20%5B1920x1080%5D%20%5BbRudW0aBNg8%5D.webp){kind=link}