Commits · debian/0.0.0_20210101.git55fe226-1 · Debian / metamath-databases

01 Jan, 2021 7 commits
- Release to unstable. · bb841b8d
  Giovanni Mascellani authored Jan 01, 2021
  
  bb841b8d
- Mark as MA: foreign. · e90d3807
  Giovanni Mascellani authored Jan 01, 2021
  
  e90d3807
- Bump Std-Ver. · 0e8e7964
  Giovanni Mascellani authored Jan 01, 2021
  
  0e8e7964
- New upstream release. · 542d3c7b
  Giovanni Mascellani authored Jan 01, 2021
  
  542d3c7b
- Update upstream source from tag 'upstream/0.0.0_20210101.git55fe226' · dd2ff06e
  Giovanni Mascellani authored Jan 01, 2021
```
Update to upstream version '0.0.0~20210101.git55fe226'
with Debian dir ab75e6f2230a5f134d4b43c167e63f5e4d981bcf
```
  dd2ff06e
- New upstream version 0.0.0~20210101.git55fe226 · 893644ef
  Giovanni Mascellani authored Jan 01, 2021
  
  893644ef
- Update excluded files. · aeb008d2
  Giovanni Mascellani authored Jan 01, 2021
  
  aeb008d2
15 Jul, 2020 8 commits
- Minor. · 681d8f8f
  Giovanni Mascellani authored Jul 15, 2020
  
  681d8f8f
- Release to unstable. · d6f68e6f
  Giovanni Mascellani authored Jul 15, 2020
  
  d6f68e6f
- Fix some Lintian issues. · 99da4cf1
  Giovanni Mascellani authored Jul 15, 2020
  
  99da4cf1
- Fix debian/copyright. · b2df1faf
  Giovanni Mascellani authored Jul 15, 2020
  
  b2df1faf
- Check databases at build time. · b4dfbfe9
  Giovanni Mascellani authored Jul 15, 2020
  
  b4dfbfe9
- Add README.Debian, fix other things. · 65d094ec
  Giovanni Mascellani authored Jul 15, 2020
  
  65d094ec
- Add Debian directory. · dbf82ffd
  Giovanni Mascellani authored Jul 15, 2020
  
  dbf82ffd
- New upstream version 0.0.0~20200715.git5b44899 · 11eca538
  Giovanni Mascellani authored Jul 15, 2020
  
  11eca538