jjames uploaded cbmc-5.1.tar.xz for cbmc

notifications at fedoraproject.org notifications at fedoraproject.org
Thu May 14 03:14:05 UTC 2015

Previous message: jjames pushed to python-sphinx_rtd_theme (f21). "New upstream version. Unbundle the Lato fonts."
Next message: jjames pushed to cbmc (master). "New upstream release. Drop upstreamed -messaget patch."
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

3e148706b27f07850aac995b459b2330  cbmc-5.1.tar.xz
	http://pkgs.fedoraproject.org/lookaside/pkgs/cbmc/cbmc-5.1.tar.xz/3e148706b27f07850aac995b459b2330/cbmc-5.1.tar.xz

Previous message: jjames pushed to python-sphinx_rtd_theme (f21). "New upstream version. Unbundle the Lato fonts."
Next message: jjames pushed to cbmc (master). "New upstream release. Drop upstreamed -messaget patch."
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list