Index of /releases/v10/unstable/site/features

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]kiv.eclipse_10.0.0.202212161434.jar2022-12-16 14:37 1.5K 
[ ]kiv.lib_10.0.0.202212161434.jar2022-12-16 14:37 818  
[ ]kiv.eclipse_10.0.0.202212161442.jar2022-12-16 14:42 1.5K 
[ ]kiv.lib_10.0.0.202212161442.jar2022-12-16 14:42 812  
[ ]kiv.eclipse_10.0.0.202301091546.jar2023-01-09 15:47 1.5K 
[ ]kiv.lib_10.0.0.202301091546.jar2023-01-09 15:47 813  
[ ]kiv.eclipse_10.0.0.202301171133.jar2023-01-17 11:35 1.5K 
[ ]kiv.lib_10.0.0.202301171133.jar2023-01-17 11:35 812  
[ ]kiv.eclipse_10.0.0.202301171136.jar2023-01-17 11:36 1.5K 
[ ]kiv.lib_10.0.0.202301171136.jar2023-01-17 11:36 812  
[ ]kiv.lib_10.0.0.202301261648.jar2023-01-26 16:49 813  
[ ]kiv.eclipse_10.0.0.202301271654.jar2023-01-27 16:55 1.5K 
[ ]kiv.lib_10.0.0.202301271654.jar2023-01-27 16:55 813  
[ ]kiv.eclipse_10.0.0.202301261648.jar2023-01-27 16:55 1.5K 
[ ]kiv.eclipse_10.0.0.202301301112.jar2023-01-30 11:14 1.5K 
[ ]kiv.lib_10.0.0.202301301112.jar2023-01-30 11:14 809  
[ ]kiv.eclipse_10.0.0.202302011623.jar2023-02-01 16:24 1.5K 
[ ]kiv.lib_10.0.0.202302011623.jar2023-02-01 16:24 811  
[ ]kiv.eclipse_10.0.0.202302140958.jar2023-02-14 10:00 1.5K 
[ ]kiv.lib_10.0.0.202302140958.jar2023-02-14 10:00 813  
[ ]kiv.eclipse_10.0.0.202303311339.jar2023-03-31 13:40 1.5K 
[ ]kiv.lib_10.0.0.202303311339.jar2023-03-31 13:40 812  
[ ]kiv.eclipse_10.0.0.202304191441.jar2023-04-19 14:42 1.5K 
[ ]kiv.lib_10.0.0.202304191441.jar2023-04-19 14:42 812  
[ ]kiv.eclipse_10.0.1.202305231524.jar2023-05-23 15:25 1.5K 
[ ]kiv.lib_10.0.1.202305231524.jar2023-05-23 15:25 817  
[ ]kiv.eclipse_10.0.1.202306090955.jar2023-06-09 09:56 1.5K 
[ ]kiv.lib_10.0.1.202306090955.jar2023-06-09 09:56 817  
[ ]kiv.eclipse_10.0.1.202306151822.jar2023-06-15 18:23 1.5K 
[ ]kiv.lib_10.0.1.202306151822.jar2023-06-15 18:23 817  
[ ]kiv.eclipse_10.0.1.202308091726.jar2023-08-09 17:27 1.5K 
[ ]kiv.lib_10.0.1.202308091726.jar2023-08-09 17:27 818  
[ ]kiv.eclipse_10.0.1.202309121449.jar2023-09-12 14:50 1.5K 
[ ]kiv.lib_10.0.1.202309121449.jar2023-09-12 14:50 817  
[ ]kiv.eclipse_10.0.2.202310101455.jar2023-10-10 14:56 1.5K 
[ ]kiv.lib_10.0.2.202310101455.jar2023-10-10 14:56 813  
[ ]kiv.eclipse_10.0.2.202310101458.jar2023-10-10 14:59 1.5K 
[ ]kiv.lib_10.0.2.202310101458.jar2023-10-10 14:59 813  
[ ]kiv.eclipse_10.0.2.202310101557.jar2023-10-10 15:57 1.5K 
[ ]kiv.lib_10.0.2.202310101557.jar2023-10-10 15:57 813  
[ ]kiv.eclipse_10.0.2.202310121208.jar2023-10-12 12:08 1.5K 
[ ]kiv.lib_10.0.2.202310121208.jar2023-10-12 12:08 813  
[ ]kiv.eclipse_10.0.3.202401181531.jar2024-01-18 15:32 1.5K 
[ ]kiv.lib_10.0.3.202401181531.jar2024-01-18 15:32 814  
[ ]kiv.eclipse_10.0.3.202401181641.jar2024-01-18 16:43 1.5K 
[ ]kiv.eclipse_10.0.3.202401181642.jar2024-01-18 16:43 1.5K 
[ ]kiv.lib_10.0.3.202401181641.jar2024-01-18 16:43 814  
[ ]kiv.lib_10.0.3.202401181642.jar2024-01-18 16:43 814  
[ ]kiv.eclipse_10.0.3.202403081326.jar2024-03-08 13:27 1.5K 
[ ]kiv.lib_10.0.3.202403081326.jar2024-03-08 13:27 814  
[ ]kiv.eclipse_10.0.3.202403081329.jar2024-03-08 13:29 1.5K 
[ ]kiv.lib_10.0.3.202403081329.jar2024-03-08 13:29 814  
[ ]kiv.eclipse_10.0.3.202403111752.jar2024-03-11 17:52 1.5K 
[ ]kiv.lib_10.0.3.202403111752.jar2024-03-11 17:52 814  
[ ]kiv.eclipse_10.0.3.202403130930.jar2024-03-13 09:32 1.5K 
[ ]kiv.lib_10.0.3.202403130930.jar2024-03-13 09:32 814  
[ ]kiv.eclipse_10.0.3.202403181606.jar2024-03-18 16:08 1.5K 
[ ]kiv.lib_10.0.3.202403181606.jar2024-03-18 16:08 814  
[ ]kiv.eclipse_10.0.3.202403190959.jar2024-03-19 10:01 1.5K 
[ ]kiv.lib_10.0.3.202403190959.jar2024-03-19 10:01 814  
[ ]kiv.eclipse_10.0.4.202404251723.jar2024-04-25 17:25 1.5K 
[ ]kiv.lib_10.0.4.202404251723.jar2024-04-25 17:25 814  
[ ]kiv.eclipse_10.0.4.202405151046.jar2024-05-15 10:47 1.5K 
[ ]kiv.lib_10.0.4.202405151046.jar2024-05-15 10:47 814  
[ ]kiv.eclipse_10.0.5.202406121014.jar2024-06-12 10:15 1.5K 
[ ]kiv.lib_10.0.5.202406121014.jar2024-06-12 10:15 814  
[ ]kiv.eclipse_10.0.5.202406121041.jar2024-06-12 10:41 1.5K 
[ ]kiv.lib_10.0.5.202406121041.jar2024-06-12 10:41 814  
[ ]kiv.eclipse_10.0.5.202407021750.jar2024-07-02 17:51 1.5K 
[ ]kiv.lib_10.0.5.202407021750.jar2024-07-02 17:51 814  
[ ]kiv.eclipse_10.0.5.202407111152.jar2024-07-11 11:53 1.5K 
[ ]kiv.lib_10.0.5.202407111152.jar2024-07-11 11:53 813  
[ ]kiv.eclipse_10.0.5.202407111340.jar2024-07-11 13:41 1.5K 
[ ]kiv.lib_10.0.5.202407111340.jar2024-07-11 13:41 814  
[ ]kiv.eclipse_10.0.5.202407111505.jar2024-07-11 15:06 1.5K 
[ ]kiv.lib_10.0.5.202407111505.jar2024-07-11 15:06 814  
[ ]kiv.eclipse_10.0.5.202407111627.jar2024-07-11 16:28 1.5K 
[ ]kiv.lib_10.0.5.202407111627.jar2024-07-11 16:28 815  
[ ]cvc4.feature_1.6.0.jar2024-09-23 13:26 3.0K 
[ ]jgraphx.feature_3.7.5.jar2024-09-23 13:26 1.4K 
[ ]kiv.eclipse_10.0.6.202409231321.jar2024-09-23 13:26 1.5K 
[ ]kiv.lib_10.0.6.202409231321.jar2024-09-23 13:26 815  
[ ]z3.feature_4.8.4.jar2024-09-23 13:26 1.0K 
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443