release of divsen.hs