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 Barenblat8 years
20161022+dfsgcommit 235602373c...Gravatar Benjamin Barenblat8 years
20160805+dfsg-1commit 3d398221c6...Gravatar Benjamin Barenblat8 years
[...]
 
AgeCommit messageAuthor
2015-12-23Merge branch 'upstream' into dfsg_clean20151220+dfsgGravatar Benjamin Barenblat
2015-12-20New releaseGravatar Adam Chlipala
2015-12-20Short manual note on -sqlcacheGravatar Adam Chlipala
2015-12-20Merge SqlcacheGravatar Adam Chlipala
2015-12-20Unnest properly in presence of kind polymorphismGravatar Adam Chlipala
2015-12-15Fixing dynClass for <tr>sGravatar Adam Chlipala
2015-12-08Change Postgres schema-checking code to account properly for namespacesGravatar Adam Chlipala
2015-12-05Document jsFileGravatar Adam Chlipala
2015-12-05New .urp directive: jsFileGravatar Adam Chlipala
2015-11-27Fix tricky case of functor signature subsumptionGravatar Adam Chlipala
2015-11-25Reduce: add reduction in some spots previously missed, associated with 'case'...Gravatar Adam Chlipala
2015-11-22Merge branch 'upstream' into dfsg_clean20151122+dfsgGravatar Benjamin Barenblat
2015-11-22Return to working version modeGravatar Adam Chlipala
2015-11-22New releaseGravatar Adam Chlipala
2015-11-22New releaseGravatar Adam Chlipala
2015-11-22Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-urweb.git
https://github.com/urweb/debian-urweb.git