Index of /ubuntu/pool/universe/c/curry-tools
Name Last modified Size Description
Parent Directory -
curry-tools_2.2.0-1.dsc 2019-11-18 20:13 2.0K
curry-tools_3.3.0-2.dsc 2021-02-05 08:19 2.0K
curry-tools_2.0.1-1.dsc 2018-02-09 20:30 2.0K
curry-tools_2.0.1-1...> 2018-02-09 20:30 3.4K
curry-tools_2.2.0-1...> 2019-11-18 20:13 3.8K
curry-tools_3.3.0-2...> 2021-02-05 08:19 3.9K
curry-tools-source_2..> 2018-02-09 20:31 238K
curry-tools-source_2..> 2019-11-18 20:13 293K
curry-tools-source_3..> 2021-02-05 08:34 316K
curry-tools_2.0.1.or..> 2018-02-09 20:30 415K
curry-tools_2.2.0.or..> 2019-11-18 20:13 527K
curry-tools_3.3.0.or..> 2021-02-05 08:19 582K