debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
...
\| \| \| *	Merge pull request #10 from eranmeir/pthread_linker_flags	Adam Chlipala	2016-01-02
\| \| \| \|\
\| \| \| * \|	Merge pull request #11 from JasonGross/update-mlton-tap	Adam Chlipala	2016-01-02
\| \| \|/\| \|
\| \| \| \| *	Untagle boot and static flags	Eran Meir	2016-01-02
\| \| \| \| \|\
\| \| \| \| \| *	Untagle boot and static flags	Eran Meir	2016-01-02
\| \| \| * \| \|	Update the homebrew tap for mlton	Jason Gross	2016-01-01
\| \| \| \| * \|	Remove static linking enforcement when passing -boot flag	Eran Meir	2016-01-02
\| \| \| \| \|/
\| \| \| \| *	updating mlton tap	Eran Meir	2016-01-02
\| \| \| \| *	Prevent pthread cflags options from being passed to linker	Eran Meir	2016-01-02
\| \| \| \|/ \| \| \|/\|
\| \| * \|	Fix issue with enumerated types and dependency order	Adam Chlipala	2016-01-01
\| \| \|/
\| \| *	Upgrade M4 macros for pthreads and remove custom workaround	Adam Chlipala	2015-12-31
\| \| *	A simple eta rule for constructor-level tuples	Adam Chlipala	2015-12-31
\| \| *	Some bugs related to kind-checking tuples	Adam Chlipala	2015-12-31
\| \| *	Merge pull request #6 from JasonGross/autoconf	Adam Chlipala	2015-12-31
\| \| \|\
\| \| * \	Merge pull request #5 from vizziv/master	Adam Chlipala	2015-12-31
\| \| \|\ \
\| \| * \ \	Merge pull request #2 from JasonGross/travis-yml	Adam Chlipala	2015-12-31
\| \| \|\ \ \
\| \| \| * \| \|	Pass --with-openssl to make use of brew's openssl on OSX	Jason Gross	2015-12-30
\| \| \| * \| \|	Also install openssl from brew on OSX in Travis	Jason Gross	2015-12-30
\| \| \| \| \| *	Move some things around in configure.ac	Jason Gross	2015-12-30
\| \| \| \|_\|/ \| \| \|/\| \|
\| \| \| \| *	Remove duplicate typedef declarations.	Ziv Scully	2015-12-30
\| \| \| \|/ \| \| \|/\|
\| \| \| *	Add tap for mlton on osx	Jason Gross	2015-12-30
\| \| \| *	Add build status image to README.md	Jason Gross	2015-12-30
\| \| \| *	Add .travis.yml for automated testing	Jason Gross	2015-12-30
\| \| \|/
* \| \|	Release for unstable20151220+dfsg-1	Benjamin Barenblat	2015-12-23
* \| \|	Build architecture-independent targets with -A (closes Debian #806662)	Benjamin Barenblat	2015-12-23
* \| \|	Update symbols files	Benjamin Barenblat	2015-12-23
* \| \|	Remove unnecessary dh-exec usage	Benjamin Barenblat	2015-12-23
* \| \|	Devendor uthash	Benjamin Barenblat	2015-12-23
* \| \|	Update debian/control for GitHub transition	Benjamin Barenblat	2015-12-23
* \| \|	Update man page	Benjamin Barenblat	2015-12-23
* \| \|	Update debian/changelog	Benjamin Barenblat	2015-12-23
* \| \|	Merge branch 'dfsg_clean'	Benjamin Barenblat	2015-12-23
\|\\| \|
\| * \|	Merge branch 'upstream' into dfsg_clean20151220+dfsg	Benjamin Barenblat	2015-12-23
\| \|\ \
\| \| \| *	Remove old Mercurial reference	Adam Chlipala	2015-12-20
\| \| \| *	Imported to Git from Mercurial	Adam Chlipala	2015-12-20
\| \| \| *	Return to working version mode	Adam Chlipala	2015-12-20
\| \| \|/
\| \| *	New release	Adam Chlipala	2015-12-20
\| \| *	Short manual note on -sqlcache	Adam Chlipala	2015-12-20
\| \| *	Merge Sqlcache	Adam Chlipala	2015-12-20
\| \| \|\
\| \| * \|	Unnest properly in presence of kind polymorphism	Adam Chlipala	2015-12-20
\| \| * \|	Fixing dynClass for <tr>s	Adam Chlipala	2015-12-15
\| \| * \|	Change Postgres schema-checking code to account properly for namespaces	Adam Chlipala	2015-12-08
\| \| * \|	Document jsFile	Adam Chlipala	2015-12-05
\| \| * \|	New .urp directive: jsFile	Adam Chlipala	2015-12-05
\| \| * \|	Fix tricky case of functor signature subsumption	Adam Chlipala	2015-11-27
\| \| * \|	Reduce: add reduction in some spots previously missed, associated with 'case'...	Adam Chlipala	2015-11-25
* \| \| \|	Release for unstable20151122+dfsg-1	Benjamin Barenblat	2015-11-22
* \| \| \|	Update liburweb0 symbols file	Benjamin Barenblat	2015-11-22
* \| \| \|	Update debian/changelog	Benjamin Barenblat	2015-11-22
* \| \| \|	Merge branch 'dfsg_clean'	Benjamin Barenblat	2015-11-22
\|\\| \| \|
\| * \| \|	Merge branch 'upstream' into dfsg_clean20151122+dfsg	Benjamin Barenblat	2015-11-22
\| \|\ \ \