« back to all changes in this revision
Viewing changes to .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src/full/Agda/
- Committer: Bazaar Package Importer
- Date: 2011-06-07 23:57:04 UTC
- Revision ID: james.westby@ubuntu.com-20110607235704-gvjzzy14u4sxdynq
Adjust conflict on haskell-agda-doc to exclude the dummy package (Closes:
#629572)
#629572)
- files added:
- .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch
- .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src
- .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src/full
- .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src/full/Agda
- .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src/full/Agda/Syntax
- .pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src/full/Agda/Syntax/Parser
- .pc/0002-Compatibility-with-src-exts-1.11.patch
- .pc/0003-Compatibility-with-syb-0.4.patch
- .pc/0003-Compatibility-with-syb-0.4.patch/src
- .pc/0003-Compatibility-with-syb-0.4.patch/src/full
- .pc/0003-Compatibility-with-syb-0.4.patch/src/full/Agda
- .pc/0003-Compatibility-with-syb-0.4.patch/src/full/Agda/Interaction
- .pc/0003-Compatibility-with-syb-0.4.patch/src/full/Agda/Interaction/Highlighting
- .pc/0003-Compatibility-with-syb-0.4.patch/src/full/Agda/Utils
- files removed:
- .pc/debian-changes
- .pc/debian-changes/src
- .pc/debian-changes/src/full
- .pc/debian-changes/src/full/Agda
- .pc/debian-changes/src/full/Agda/Interaction
- .pc/debian-changes/src/full/Agda/Interaction/Highlighting
- .pc/debian-changes/src/full/Agda/Syntax
- .pc/debian-changes/src/full/Agda/Syntax/Parser
- .pc/debian-changes/src/full/Agda/Utils
- files modified:
- .pc/applied-patches
added
removed
.pc/0001-Compatibility-with-Alex-2.3.5-and-GHC-7.0.3.patch/src/full/Agda/
