#!/usr/local/bin/python

def version():
	return "15.01"

def repository():
	return "https://iron.eiffel.com"