Index of /uppaal-5.1/uppaal-5.1.0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]UPPAAL-5.1.0-beta1-app.zip2025-12-10 09:30 19M 
[ ]UPPAAL-5.1.0-beta2-app.zip2025-12-10 09:30 20M 
[ ]UPPAAL-5.1.0-beta3-app.zip2025-12-10 09:30 20M 
[ ]UPPAAL-5.1.0-beta4-app.zip2025-12-10 09:30 20M 
[ ]UPPAAL-5.1.0-beta4.dmg2025-12-10 09:30 80M 
[ ]UPPAAL-5.1.0-beta4.exe2025-12-10 09:30 67M 
[ ]UPPAAL-5.1.0-beta4.msi2025-12-10 09:30 66M 
[ ]UPPAAL-5.1.0-beta5-app.zip2025-12-10 09:30 20M 
[ ]UPPAAL-5.1.0-beta5.dmg2025-12-10 09:30 72M 
[ ]uppaal-5.1.0-b5-coshy-installer.exe2025-12-10 09:30 17M 
[ ]uppaal-5.1.0-b5-coshy-linux64.zip2025-12-10 09:30 21M 
[ ]uppaal-5.1.0-b5-coshy-win64.zip2025-12-10 09:30 20M 
[ ]uppaal-5.1.0-beta1-linux64.zip2025-12-10 09:30 20M 
[ ]uppaal-5.1.0-beta1-win64.zip2025-12-10 09:30 18M 
[ ]uppaal-5.1.0-beta2-linux64.zip2025-12-10 09:30 21M 
[ ]uppaal-5.1.0-beta2-win64.zip2025-12-10 09:30 20M 
[ ]uppaal-5.1.0-beta3-linux64.zip2025-12-10 09:30 21M 
[ ]uppaal-5.1.0-beta3-win64.zip2025-12-10 09:30 20M 
[ ]uppaal-5.1.0-beta4-linux64.zip2025-12-10 09:30 21M 
[ ]uppaal-5.1.0-beta4-macos64.zip2025-12-10 09:30 20M 
[ ]uppaal-5.1.0-beta4-win64.zip2025-12-10 09:30 19M 
[ ]uppaal-5.1.0-beta4.x86_64.rpm2025-12-10 09:31 77M 
[ ]uppaal-5.1.0-beta5-jre-signed.msi2025-12-10 09:30 67M 
[ ]uppaal-5.1.0-beta5-jre.exe2025-12-10 09:30 68M 
[ ]uppaal-5.1.0-beta5-jre.msi2025-12-10 09:30 67M 
[ ]uppaal-5.1.0-beta5-linux64.zip2025-12-10 09:30 21M 
[ ]uppaal-5.1.0-beta5-macos64.zip2025-12-10 09:31 20M 
[ ]uppaal-5.1.0-beta5-signed.exe2025-12-10 09:30 17M 
[ ]uppaal-5.1.0-beta5-win64.zip2025-12-10 09:30 19M 
[ ]uppaal-5.1.0-beta5.exe2025-12-10 09:30 17M 
[ ]uppaal-5.1.0-beta5.x86_64.rpm2025-12-10 09:30 68M 
[ ]uppaal_5.1.0-beta4_amd64.deb2025-12-10 09:30 55M 
[ ]uppaal_5.1.0-beta5_amd64.deb2025-12-10 09:30 50M