Revision 9b6926a305406ed2a4ba72613f5aacfa387826b3 authored by Mohamed Barakat on 16 October 2020, 15:33:32 UTC, committed by GitHub on 16 October 2020, 15:33:32 UTC
Apply PackageJanitor and introduce new versioning scheme
| File | Mode | Size |
|---|---|---|
| .circleci | ||
| .github | ||
| 4ti2Interface | ||
| ExamplesForHomalg | ||
| Gauss | ||
| GaussForHomalg | ||
| GradedModules | ||
| GradedRingForHomalg | ||
| HomalgToCAS | ||
| IO_ForHomalg | ||
| LocalizeRingForHomalg | ||
| MatricesForHomalg | ||
| Modules | ||
| RingsForHomalg | ||
| SCO | ||
| ToolsForHomalg | ||
| homalg | ||
| images | ||
| .codecov.yml | -rw-r--r-- | 114 bytes |
| .gitignore | -rw-r--r-- | 104 bytes |
| Jenkinsfile | -rw-r--r-- | 1.7 KB |
| README.md | -rw-r--r-- | 11.0 KB |
| README_DEV.md | -rw-r--r-- | 3.0 KB |
| ci_prepare | -rwxr-xr-x | 744 bytes |
| delete_old_releases.py | -rw-r--r-- | 547 bytes |
| gather_performance_data.py | -rwxr-xr-x | 888 bytes |
| make_dist.sh | -rwxr-xr-x | 444 bytes |
| makefile | -rw-r--r-- | 13.6 KB |
| release-gap-package | -rwxr-xr-x | 20.1 KB |
Computing file changes ...
