10

dir
7
file:///home/gauravu/repositories/Murphi
file:///home/gauravu/repositories/Murphi



2011-02-12T06:59:08.840943Z
7
gauravu
has-props













be3a1f22-0d52-4c7e-948d-76db3530bece

License
file




1999-01-29T07:49:10.000000Z
a6a7ece5f1ab71779499aea97fcbcae4
2011-01-23T06:08:29.974594Z
1
gauravu





















5234

include
dir

ignore
file




2011-01-23T16:27:26.070338Z
5875e83c68a9142ed7741ea105312ae3
2011-01-23T16:28:16.528130Z
2
gauravu





















105

doc
dir

gauravu_ex
dir




















deleted

src
dir

bin
dir

Bugfixes
file




2000-01-13T23:10:05.000000Z
17a8886be079e4f76e02b6af686831b7
2011-01-23T06:08:29.974594Z
1
gauravu





















1197

ex
dir

solution
dir


















file:///home/gauravu/repositories/Murphi/gauravu_ex
7

Readme
file




1999-01-29T21:49:52.000000Z
88dbccb7f1499a132c3f22ed0aca3c68
2011-01-23T06:08:29.974594Z
1
gauravu





















5102

