The prior specification is correct, but it will not do what you want.
I am assuming that you wish to fit the Bayesian Lasso model
y|beta,sigma ~ X*beta + eps
beta_j|sigma ~ Laplace( beta_j; mean=0, scale=sigma^2)
This cannot be fitted in INLA because the beta's are not Gaussian.
To do this in INLA, you need to use the Hierarchical model specification
Assume that there are p beta's. Then
y|beta,sigma ~ N(X*beta, sigma^2 *I)
beta|sigma, tau_1,..., tau_p ~ N(0_p, sigma^2 * D_p)
where D_p = diag(tau_1^2, ..., tau_p^2)
p(tau_j) = lambda^2/2*exp(-lambda^2*tau_j^2/2
So the prior that you need to set is just normally distributed with
variance lambda. You cannot put a prior on lambda within the INLA
framework.
As said in a previous email, you cannot have p > 10 (15 at the
absolute maximum).
I hope this helps,
Dan