<issue_start><issue_comment>Title: Packages not being pinned
username_0: ✓ (25/352) agda updated (48c9d8f -> e79cc2c)
  ✓ (26/352) agda2-mode was updated indirectly (with agda)
```
**Additional details:**
<issue_comment>username_1: Please include your `M-x doom/info`.
<issue_comment>username_0: Updated.
<issue_comment>username_1: Sorry for the late response, but do you still have this issue on the latest version of Doom? This should've been fixed within the past two weeks.
<issue_comment>username_0: ✓ (23/338) agda updated (8eb0d01 -> 07a9490)
  ✓ (24/338) agda2-mode was updated indirectly (with agda)
```<issue_closed>
<issue_comment>username_1: As of 0e851ac this should be fixed, however, you'll need to specify the full recipe along with the pin, since `48c9d8fe35` exists in another branch (`release-2.6.0.1`), e.g.

```lisp
(package! agda-input
  :recipe (:host github :repo "agda/agda"
           :files ("src/data/emacs-mode/agda-input.el")
           :branch "release-2.6.0.1"
           :nonrecursive t)
  :pin "48c9d8fe35adca8c2e309bf64e99b26b25a90169")

(package! agda2-mode
  :recipe (:host github :repo "agda/agda"
           :files ("src/data/emacs-mode/*.el"
                   (:exclude "agda-input.el"))
           :branch "release-2.6.0.1"
           :nonrecursive t)
  :pin "48c9d8fe35adca8c2e309bf64e99b26b25a90169")
```