GitHub repository: kevinshome/mantis
Created: 2019-05-03T21:13:43Z
Description: mantis is a package manager, let's say that