debian/source/format
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Mon, 13 Mar 2017 16:53:42 -0700
changeset 2098 fc94c1909c18
parent 755 0021301f7fde
permissions -rw-r--r--
evolve: update the capabilities and commands name for obshashrange We makes is clear that these version are useful for earlier testing but they are not ready for any kind of real usage yet.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
755
0021301f7fde debian: add source/format file
Faheem Mitha <faheem@faheem.info>
parents:
diff changeset
     1
3.0 (quilt)