summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
unofficialCreate unofficial packageGravatar Benjamin Barenblat4 years
masterUpdate man pageGravatar Benjamin Barenblat4 years
dfsg_cleanMerge branch 'upstream' into dfsg_cleanGravatar Benjamin Barenblat4 years
 
TagDownloadAuthorAge
20200209+dfsgcommit c2f1e1096f...Gravatar Benjamin Barenblat4 years
20200209commit 5a0b639dfb...Gravatar Adam Chlipala4 years
20190217commit f161387682...Gravatar Adam Chlipala5 years
20180616+dfsgcommit 095c2640aa...Gravatar Benjamin Barenblat6 years
20180616commit 34eb9eba9a...Gravatar Adam Chlipala6 years
20170720+dfsg-1.1commit 636e06ea6b...Gravatar Benjamin Barenblat7 years
20170720+dfsg-2commit e444b6326e...Gravatar Benjamin Barenblat7 years
20170720+dfsg-1commit f45dc98197...Gravatar Benjamin Barenblat7 years
20170720+dfsgcommit 88fa6f57be...Gravatar Benjamin Barenblat7 years
20170105+dfsg-2commit f6c27c484d...Gravatar Benjamin Barenblat7 years
20170105+dfsg-1commit 63b88bb54c...Gravatar Benjamin Barenblat7 years
20170105+dfsgcommit 6145d9df05...Gravatar Benjamin Barenblat7 years
20161022+dfsg-2commit 2823d1ebdd...Gravatar Benjamin Barenblat7 years
20161022+dfsg-1commit 1ffbc0b872...Gravatar Benjamin Barenblat7 years
20161022+dfsgcommit 235602373c...Gravatar Benjamin Barenblat7 years
20160805+dfsg-1commit 3d398221c6...Gravatar Benjamin Barenblat8 years
[...]
 
AgeCommit messageAuthor
2020-05-30Merge branch 'upstream' into dfsg_clean20200209+dfsgdfsg_cleanGravatar Benjamin Barenblat
2020-02-09Stop putting extraneous files in release tarballs20200209Gravatar Adam Chlipala
2020-02-09New releaseGravatar Adam Chlipala
2020-02-07List.foldliGravatar Adam Chlipala
2020-02-07Fix signature matching of an imported datatype vs. a fresh datatypeGravatar Adam Chlipala
2020-02-06Merge pull request #196 from mdempsky/manual-editsGravatar Adam Chlipala
2020-02-04Remove superfluous lambdas before guarded typesGravatar Matthew Dempsky
2020-02-04Fix typos in kinding judgmentsGravatar Matthew Dempsky
2020-02-04Fix record type shorthandGravatar Matthew Dempsky
2020-01-27Merge pull request #194 from mdempsky/manual-tweaksGravatar Adam Chlipala
2020-01-22Elaborate e^* and e^+ syntaxGravatar Matthew Dempsky
2020-01-22Consistently introduce application syntax before abstractionGravatar Matthew Dempsky
2020-01-22Kind variables must be bracketed in expression-level bindersGravatar Matthew Dempsky
2020-01-21Merge pull request #193 from mdempsky/monad-kindGravatar Adam Chlipala
2020-01-21monad has kind (Type->Type)->Type, not just Type->TypeGravatar Matthew Dempsky
2020-01-19Merge pull request #192 from mdempsky/manual-typoGravatar Adam Chlipala
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-urweb.git
https://github.com/urweb/debian-urweb.git
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-19 22:25:24 +0000