Index of ftp://ftp.lug.udel.edu/pub/macports/packages/nusmv

[DIR] Parent Directory

[ ] nusmv-2.5.4_0.darwin_10.i386.tbz2  4.31Mb  February 6 2017 at 19:54  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_10.i386.tbz2.rmd160  512.00b  February 6 2017 at 19:54  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_10.x86_64.tbz2  4.21Mb  February 29 2016  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_10.x86_64.tbz2.rmd160  512.00b  February 29 2016  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_11.x86_64.tbz2  4.21Mb  February 6 2017 at 18:27  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_11.x86_64.tbz2.rmd160  512.00b  February 6 2017 at 18:27  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_12.x86_64.tbz2  4.31Mb  February 24 2016  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_12.x86_64.tbz2.rmd160  512.00b  February 24 2016  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_13.x86_64.tbz2  4.15Mb  December 8 2013  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_13.x86_64.tbz2.rmd160  512.00b  December 8 2013  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_9.ppc.tbz2  4.47Mb  February 6 2017 at 20:39  [find mirrors]
[ ] nusmv-2.5.4_0.darwin_9.ppc.tbz2.rmd160  512.00b  February 6 2017 at 20:39  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_10.i386.tbz2  4.30Mb  April 24 2017 at 08:15  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_10.i386.tbz2.rmd160  512.00b  April 24 2017 at 08:15  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_10.x86_64.tbz2  4.19Mb  April 24 2017 at 05:13  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_10.x86_64.tbz2.rmd160  512.00b  April 24 2017 at 05:13  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_11.x86_64.tbz2  4.21Mb  April 24 2017 at 01:55  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_11.x86_64.tbz2.rmd160  512.00b  April 24 2017 at 01:55  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_9.ppc.tbz2  4.47Mb  April 24 2017 at 04:13  [find mirrors]
[ ] nusmv-2.5.4_1.darwin_9.ppc.tbz2.rmd160  512.00b  April 24 2017 at 04:13  [find mirrors]