Commits · debian/0.195-1 · Debian / metamath

01 Jan, 2021 6 commits
- Release to unstable. · 04e9161f
  Giovanni Mascellani authored Jan 01, 2021
  
  04e9161f
- Bump numbers. · 7243e2eb
  Giovanni Mascellani authored Jan 01, 2021
  
  7243e2eb
- Trivial copyright update. · 386bc3e0
  Giovanni Mascellani authored Jan 01, 2021
  
  386bc3e0
- New upstream release. · b94c0a34
  Giovanni Mascellani authored Jan 01, 2021
  
  b94c0a34
- Update upstream source from tag 'upstream/0.195' · ebcc6c81
  Giovanni Mascellani authored Jan 01, 2021
```
Update to upstream version '0.195'
with Debian dir 63841a49b09aa680b32f75480440d75718bb5a31
```
  ebcc6c81
- New upstream version 0.195 · d64753bb
  Giovanni Mascellani authored Jan 01, 2021
  
  d64753bb
12 Jul, 2020 7 commits
- Release to unstable. · fa898580
  Giovanni Mascellani authored Jul 12, 2020
  
  fa898580
- Delete patches. · a4bd32f8
  Giovanni Mascellani authored Jul 12, 2020
  
  a4bd32f8
- Update debian/copyright. · c9dbc0c0
  Giovanni Mascellani authored Jul 12, 2020
  
  c9dbc0c0
- Update changelog for new upstream version. · a53c8a32
  Giovanni Mascellani authored Jul 12, 2020
  
  a53c8a32
- Update upstream source from tag 'upstream/0.183' · beebabd9
  Giovanni Mascellani authored Jul 12, 2020
```
Update to upstream version '0.183'
with Debian dir f540416d3c9d6155ff821cf5cf95cb345d03aedc
```
  beebabd9
- New upstream version 0.183 · 678b7616
  Giovanni Mascellani authored Jul 12, 2020
  
  678b7616
- Add debian/watch file. · 53241169
  Giovanni Mascellani authored Jul 12, 2020
  
  53241169
31 Dec, 2019 1 commit
- Empty commit to trigger CI. · ed588f43
  Giovanni Mascellani authored Dec 31, 2019
  
  ed588f43
28 Dec, 2019 4 commits
- Fill up and remove boilerplate. · 8f482329
  Giovanni Mascellani authored Dec 28, 2019
  
  8f482329
- Add patch to ignore *.mm files. · ab1233d5
  Giovanni Mascellani authored Dec 28, 2019
  
  ab1233d5
- Add Debian boilerplate. · 68411a8b
  Giovanni Mascellani authored Dec 28, 2019
  
  68411a8b
- New upstream version 0.180 · da3b859d
  Giovanni Mascellani authored Dec 28, 2019
  
  da3b859d