ver

What Name Version
package docstrip 1.2