Index of /macports/packages/coq

[ICO]NameLast modifiedSizeDescription
[ ]Parent Directory   -  
[ ]coq-8.13.2_0.darwin_..>2025-03-06 12:00 512  
[ ]coq-8.13.2_0.darwin_..>2025-03-06 12:00 98M 
[ ]coq-8.13.2_0.darwin_..>2024-10-08 08:54 512  
[ ]coq-8.13.2_0.darwin_..>2024-10-08 08:54 93M 
[ ]coq-8.13.2_0.darwin_..>2024-01-16 15:55 512  
[ ]coq-8.13.2_0.darwin_..>2024-01-16 15:55 98M 
[ ]coq-8.13.2_0.darwin_..>2023-11-14 03:18 512  
[ ]coq-8.13.2_0.darwin_..>2023-11-14 03:18 93M 
[ ]coq-8.13.2_0.darwin_..>2023-03-06 14:09 512  
[ ]coq-8.13.2_0.darwin_..>2023-03-06 14:09 97M 
[ ]coq-8.13.2_0.darwin_..>2023-01-01 14:23 512  
[ ]coq-8.13.2_0.darwin_..>2023-01-01 14:23 92M 
[ ]coq-8.13.2_0.darwin_..>2022-01-14 13:59 512  
[ ]coq-8.13.2_0.darwin_..>2022-01-14 13:59 92M 
[ ]coq-8.13.2_0.darwin_..>2021-11-22 01:40 512  
[ ]coq-8.13.2_0.darwin_..>2021-11-22 01:40 97M 
[ ]coq-8.13.2_0.darwin_..>2021-06-09 08:42 512  
[ ]coq-8.13.2_0.darwin_..>2021-06-09 08:42 92M 
[ ]coq-8.13.2_0.darwin_..>2021-06-09 07:07 512  
[ ]coq-8.13.2_0.darwin_..>2021-06-09 07:07 97M 
[ ]coq-8.13.2_0.darwin_..>2021-04-08 02:27 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-08 02:27 92M 
[ ]coq-8.13.2_0.darwin_..>2021-04-03 22:46 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-03 22:46 92M 
[ ]coq-8.13.2_0.darwin_..>2021-04-03 22:37 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-03 22:37 92M 
[ ]coq-8.13.2_0.darwin_..>2021-04-02 23:17 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-02 23:17 92M 
[ ]coq-8.13.2_0.darwin_..>2021-04-02 05:59 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-02 05:59 92M 
[ ]coq-8.13.2_0.darwin_..>2021-04-02 01:52 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-02 01:52 91M 
[ ]coq-8.13.2_0.darwin_..>2021-04-02 01:24 512  
[ ]coq-8.13.2_0.darwin_..>2021-04-02 01:24 92M